Sciweavers

2291 search results - page 140 / 459
» Representational Reasoning and Verification
Sort
View
DIAGRAMS
2006
Springer
15 years 10 months ago
Evaluation of ERST - An External Representation Selection Tutor
This paper describes the evaluation of ERST, an adaptive system which is designed to improve its users' external representation (ER) selection accuracy on a range of database ...
Beate Grawemeyer
KR
2004
Springer
15 years 12 months ago
Expressive Power and Succinctness of Propositional Languages for Preference Representation
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
Sylvie Coste-Marquis, Jérôme Lang, Pa...
ICRA
1999
IEEE
109views Robotics» more  ICRA 1999»
15 years 10 months ago
Unifying Exploration, Localization, Navigation, and Planning Through a Common Representation
The major themes of our research include the creation of mobile robot systems that are robust and adaptive in rapidly changing environments and the view of integration as a basic ...
Alan C. Schultz, William Adams, Brian Yamauchi, Mi...
IJCAI
2007
15 years 8 months ago
A Size-Based Qualitative Approach to the Representation of Spatial Granularity
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...
Hedda Rahel Schmidtke, Woontack Woo
GVD
2004
107views Database» more  GVD 2004»
15 years 7 months ago
A Representation of Time Series for Temporal Web Mining
Data with temporal information is constantly generated, sampled, gathered, and analyzed in different domains, such as medicine, finance, engineering, environmental sciences, and e...
Mireille Samia