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).
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).
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).
3
Certificate size reduction in abstraction-carrying code. (English)
Theory Pract. Log. Program. 12, No. 3, 283-318 (2012).
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).
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).
6
Cost analysis of object-oriented bytecode programs. (English)
Theor. Comput. Sci. 413, No. 1, 142-159 (2012).
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).
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).
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).
10
Composition with target constraints. (English)
Log. Methods Comput. Sci. 7, No. 3, Paper No. 13, 38 p., electronic only (2011).
11
Loop-closing: a typicality approach. (English)
Robot. Auton. Syst. 59, No. 3-4, 218-227 (2011).
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).
13
Regular languages of nested words: fixed points, automata, and synchronization. (English)
Theory Comput. Syst. 49, No. 3, 639-670 (2011).
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).
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).
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).
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).
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).
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).
20
Result 1 to 20 of 448 total