1247 search results - page 172 / 250 » Reasoning about Function Objects |
164
Voted
HRI
2010
ACM
16 years 28 days 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...
152
click to vote
KBSE
2009
IEEE
16 years 24 days ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
162
click to vote
COSIT
2009
Springer
16 years 19 days ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
156
Voted
ISM
2008
IEEE
16 years 14 days ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
162
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...