History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 448 total

Ontology-based data access using views. (English)
Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk). Lecture Notes in Computer Science 7497, 262-265 (2012).
WorldCat.org
1
Federation and navigation in SPARQL 1.1. (English)
Eiter, Thomas (ed.) et al., Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3‒8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33157-2/pbk). Lecture Notes in Computer Science 7487, 78-111 (2012).
WorldCat.org
2
Modeling epidemic spreading in complex networks: concurrency and traffic. (English)
Thai, My T. (ed.) et al., Handbook of optimization in complex networks. Theory and applications. New York, NY: Springer (ISBN 978-1-4614-0753-9/hbk; 978-1-4614-0754-6/ebook). Springer Optimization and Its Applications 57, 435-462 (2012).
WorldCat.org
3
Certificate size reduction in abstraction-carrying code. (English)
Theory Pract. Log. Program. 12, No. 3, 283-318 (2012).
WorldCat.org
4
Symbolic execution of concurrent objects in CLP. (English)
Russo, Claudio (ed.) et al., Practical aspects of declarative languages. 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27693-4/pbk). Lecture Notes in Computer Science 7149, 123-137 (2012).
WorldCat.org
5
Automatic inference of resource consumption bounds. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 1-11 (2012).
WorldCat.org
6
Cost analysis of object-oriented bytecode programs. (English)
Theor. Comput. Sci. 413, No. 1, 142-159 (2012).
WorldCat.org
7
Datalog as a query language for data exchange systems. (English)
de Moor, Oege (ed.) et al., Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16‒19, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24205-2/pbk). Lecture Notes in Computer Science 6702, 302-320 (2011).
WorldCat.org
8
Analysing the performance of different population structures for an agent-based evolutionary algorithm. (English)
Coello Coello, Carlos A. (ed.), Learning and intelligent optimization. 5th international conference, LION 5, Rome, Italy, January 17‒21, 2011. Selected papers. Berlin: Springer (ISBN 978-3-642-25565-6/pbk). Lecture Notes in Computer Science 6683, 582-585 (2011).
WorldCat.org
9
Cost analysis of concurrent OO programs. (English)
Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 238-254 (2011).
WorldCat.org
10
Composition with target constraints. (English)
Log. Methods Comput. Sci. 7, No. 3, Paper No. 13, 38 p., electronic only (2011).
WorldCat.org
11
Loop-closing: a typicality approach. (English)
Robot. Auton. Syst. 59, No. 3-4, 218-227 (2011).
WorldCat.org
12
Nonstandard numerical schemes for modeling a 2-DOF serial robot with rotational spring-damper-actuators. (English)
Int. J. Numer. Methods Biomed. Eng. 27, No. 8, 1211-1224 (2011).
WorldCat.org
13
Regular languages of nested words: fixed points, automata, and synchronization. (English)
Theory Comput. Syst. 49, No. 3, 639-670 (2011).
WorldCat.org
14
On blank nodes. (English)
Aroyo, Lora (ed.) et al., The semantic web ‒ ISWC 2011. 10th international semantic web conference, Bonn, Germany, October 23‒27, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25072-9/pbk). Lecture Notes in Computer Science 7031, 421-437 (2011).
WorldCat.org
15
An autonomic security monitor for distributed operating systems (invited paper). (English)
Abramowicz, Witold (ed.) et al., Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). Lecture Notes in Computer Science 6994, 112-121 (2011).
WorldCat.org
16
A multi-agent approach for engineering design knowledge modelling. (English)
König, Andreas (ed.) et al., Knowlege-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23862-8/pbk). Lecture Notes in Computer Science 6882. Lecture Notes in Artificial Intelligence, 601-610 (2011).
WorldCat.org
17
Semantics and optimization of the SPARQL 1.1 federation extension. (English)
Antoniou, Grigoris (ed.) et al., The semantic web: research and applications. 8th extended semantic web conference, ESWC 2011, Heraklion, Crete, Greece, May 29 ‒ June 2, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21063-1/pbk). Lecture Notes in Computer Science 6644, 1-15 (2011).
WorldCat.org
18
Online vs. offline ANOVA use on evolutionary algorithms. (English)
Cabestany, Joan (ed.) et al., Advances in computational intelligence. 11th international work-conference on artificial neural networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8‒10, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21497-4/pbk). Lecture Notes in Computer Science 6692, 341-347 (2011).
WorldCat.org
19
Implementation matters: Programming best practices for evolutionary algorithms. (English)
Cabestany, Joan (ed.) et al., Advances in computational intelligence. 11th international work-conference on artificial neural networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8‒10, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21497-4/pbk). Lecture Notes in Computer Science 6692, 333-340 (2011).
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 448 total

Valid XHTML 1.0 Transitional Valid CSS!