8337 search results - page 1343 / 1668 » Reasoning With Characteristic Models |
176
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
190
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
166
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
182
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
187
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
— User’s requirements have become a key factor for any Quality of Service (QoS) management model to succeed. The advent and rise of new broadband services and network architect...