Sciweavers

6829 search results - page 84 / 1366
» Quantitative Generalizations of Languages
Sort
View
VL
1999
IEEE
106views Visual Languages» more  VL 1999»
15 years 8 months ago
A Language for Geometric Reasoning in Mobile Robots
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
Joseph J. Pfeiffer Jr.
ATAL
2006
Springer
15 years 8 months ago
Comparing market and token-based coordination
Many coordination algorithms claim to be general, implying that they can be used to coordinate agents in a variety of domains. However, little work has been done to quantitatively...
Yang Xu, Paul Scerri, Katia P. Sycara, Michael Lew...
KI
1994
Springer
15 years 8 months ago
Combining Spatial and Terminological Reasoning
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
ACL
2007
15 years 6 months ago
Automatic Acquisition of Ranked Qualia Structures from the Web
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...
Philipp Cimiano, Johanna Wenderoth
LICS
2010
IEEE
15 years 2 months ago
Regular Cost Functions over Finite Trees
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...
Thomas Colcombet, Christof Löding