602 search results - page 52 / 121 » Knowledge Base Compilation and the Language Design Game |
ACMACE
2006
ACM
14 years 2 months ago
2006
ACM
A fundamental design question to ask in the development of a network game is—Which transport protocol should be used—TCP, UDP, or some other protocols? Seeking an objective an...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
ICAS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...