Sciweavers

10055 search results - page 1437 / 2011
» Structured programming using processes
Sort
View
ICALP
2007
Springer
15 years 11 months ago
On Commutativity Based Edge Lean Search
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doro...
KI
2007
Springer
15 years 11 months ago
Training on the Job - Collecting Experience with Hierarchical Hybrid Automata
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
Alexandra Kirsch, Michael Beetz
MHCI
2007
Springer
15 years 11 months ago
Effective learn-quiz generation for handheld devices
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
Wolfgang Hürst, Sabine Jung, Martina Welte
OOPSLA
2007
Springer
15 years 11 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
SOCASE
2007
Springer
15 years 11 months ago
Executing Semantic Web Services with a Context-Aware Service Execution Agent
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
António Lopes, Luís Miguel Botelho
« Prev « First page 1437 / 2011 Last » Next »