Sciweavers

432 search results - page 71 / 87
» Dynamic Logic With Possible World
Sort
View
CGA
2005
13 years 7 months ago
Visualizing Live Text Streams Using Motion and Temporal Pooling
In today's fast-paced world, it is increasingly difficult to understand and act promptly upon the content of the many information streams available. Temporal pooling addresse...
Conrad Albrecht-Buehler, Benjamin Watson, David A....
AAMAS
2004
Springer
13 years 7 months ago
Functional Validation in Grid Computing
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...
Guofei Jiang, George Cybenko
AROBOTS
1998
100views more  AROBOTS 1998»
13 years 7 months ago
Interleaving Planning and Robot Execution for Asynchronous User Requests
Rogue is an architecture built on a real robot which provides algorithms for the integration of highlevel planning, low-level robotic execution, and learning. Rogue addresses succ...
Karen Zita Haigh, Manuela M. Veloso
RAS
2002
247views more  RAS 2002»
13 years 7 months ago
Reference scan matching for global self-localization
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
Joachim Weber, Lutz Franken, Klaus-Werner Jör...
AI
2011
Springer
13 years 2 months ago
Learning qualitative models from numerical data
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
Jure Zabkar, Martin Mozina, Ivan Bratko, Janez Dem...