Sciweavers

786 search results - page 145 / 158
» A System for Semi-Automatic Modeling of Complex Environments
Sort
View
85
Voted
LREC
2010
177views Education» more  LREC 2010»
15 years 1 months ago
LT World: Ontology and Reference Information Portal
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...
Brigitte Jörg, Hans Uszkoreit, Alastair Burt
DAIS
2006
15 years 1 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...
ENTCS
2006
109views more  ENTCS 2006»
14 years 11 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
IEE
2007
100views more  IEE 2007»
14 years 11 months ago
Designing and constructing modifiable middleware using component frameworks
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
Nikos Parlavantzas, Geoffrey Coulson
IJRR
2010
162views more  IJRR 2010»
14 years 10 months ago
Planning under Uncertainty for Robotic Tasks with Mixed Observability
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
Sylvie C. W. Ong, Shao Wei Png, David Hsu, Wee Sun...