2608 search results - page 287 / 522 » Subjects, Models, Languages, Transformations |
158
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
163
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
In Japanese, it is quite common for the same word to be written in several different ways. This is especially true for katakana words which are typically used for transliterating ...
202
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
178
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
157
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...