Result 1 to 20 of 2007 total
Coloring Eulerian triangulations of the Klein bottle. (English)
Graphs Comb. 28, No. 4, 499-530 (2012).
1
Introduction to an algebra of belief functions on three-element frame of discernment ‒ a quasi Bayesian case. (English)
Greco, Salvatore (ed.) et al., Advances in computational intelligence. 14th international conference on information processing and management of uncertainty in knowledge-based systems, IPMU 2012, Catania, Italy, July 9‒13, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-31717-0/pbk; 978-3-642-31718-7/ebook). Communications in Computer and Information Science 299, 532-542 (2012).
2
Stability in aggregation operators. (English)
Greco, Salvatore (ed.) et al., Advances in computational intelligence. 14th international conference on information processing and management of uncertainty in knowledge-based systems, IPMU 2012, Catania, Italy, July 9‒13, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-31717-0/pbk; 978-3-642-31718-7/ebook). Communications in Computer and Information Science 299, 317-325 (2012).
3
Parameterized model checking of fine grained concurrency. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 208-226 (2012).
4
On the parameterized complexity of finding separators with non-hereditary properties. (English)
Golumbic, Martin Charles (ed.) et al., Graph-theoretic concepts in computer science. 38th international workshop, WG 2012, Jerusalem, Israel, June 26‒28, 2012. Revised selcted papers. Berlin: Springer (ISBN 978-3-642-34610-1/pbk). Lecture Notes in Computer Science 7551, 332-343 (2012).
5
Parameterized domination in circle graphs. (English)
Golumbic, Martin Charles (ed.) et al., Graph-theoretic concepts in computer science. 38th international workshop, WG 2012, Jerusalem, Israel, June 26‒28, 2012. Revised selcted papers. Berlin: Springer (ISBN 978-3-642-34610-1/pbk). Lecture Notes in Computer Science 7551, 308-319 (2012).
6
Statistically secure linear-rate dimension extension for oblivious affine function evaluation. (English)
Smith, Adam (ed.), Information theoretic security. 6th international conference, ICITS 2012, Montreal, QC, Canada, August 15‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32283-9/pbk). Lecture Notes in Computer Science 7412, 111-128 (2012).
7
Two-dimensional sgraffito automata. (English)
Yen, Hsu-Chun (ed.) et al., Developments in language theory. 16th international conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31652-4/pbk). Lecture Notes in Computer Science 7410, 251-262 (2012).
8
Counting arbitrary subgraphs in data streams. (English)
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9‒13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 598-609 (2012).
9
Sameness, ellipsis and anaphora. (English)
Aloni, Maria (ed.) et al., Logic, language and meaning. 18th Amsterdam colloquium, Amsterdam, The Netherlands, December 19‒21, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31481-0/pbk). Lecture Notes in Computer Science 7218, 341-350 (2012).
10
Atomic intentions in Jason$^{ + }$. (English)
Collier, Rem (ed.) et al., Programming multi-agent systems. 8th international workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28938-5/pbk). Lecture Notes in Computer Science 6599. Lecture Notes in Artificial Intelligence, 79-95 (2012).
11
The simplex tree: an efficient data structure for general simplicial complexes. (English)
Epstein, Leah (ed.) et al., Algorithms ‒ ESA 2012. 20th annual European symposium, Ljubljana, Slovenia, September 10‒12, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33089-6/pbk). Lecture Notes in Computer Science 7501, 731-742 (2012).
12
Duality and I/O-types in the $π$-calculus. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 302-316 (2012).
13
Restarting tiling automata. (English)
Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 289-300 (2012).
14
A new lower bound based on Gromov’s method of selecting heavily covered points. (English)
Discrete Comput. Geom. 48, No. 2, 487-498 (2012).
15
An alternative use of the Riccati recursion for efficient optimization. (English)
Syst. Control Lett. 61, No. 1, 37-40 (2012).
16
Multiscale modeling of heterogeneous media applying AEH to 3D bodies. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-31124-6/pbk). Lecture Notes in Computer Science 7333, 675-690 (2012).
17
Understanding the learners’ actions when using mathematics learning tools. (English)
Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 111-126 (2012).
18
Kernelization ‒ preprocessing with a guarantee. (English)
Bodlaender, Hans L. (ed.) et al., The multivariate algorithmic revolution and beyond. Essays dedicated to Michael R. Fellows on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-30890-1/pbk). Lecture Notes in Computer Science 7370, 129-161 (2012).
19
An FPGA-based omnidirectional vision sensor for motion detection on mobile robots. (English)
Int. J. Reconfig. Comput. 2012, Article ID 148190, 16 p. (2012).
20
Result 1 to 20 of 2007 total
Start
Contact
Print
General Help
