Sciweavers

567 search results - page 5 / 114
» Play the Language: Play Coreference
Sort
View
AAAI
2007
14 years 11 months ago
Heuristic Evaluation Functions for General Game Playing
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
James Clune
89
Voted
CICLING
2004
Springer
15 years 2 months ago
A Plug and Play Spoken Dialogue Interface for Smart Environments
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
Germán Montoro, Xavier Alamán, Pablo...
PROVSEC
2007
Springer
15 years 3 months ago
Formal Proof of Provable Security by Game-Playing in a Proof Assistant
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
Reynald Affeldt, Miki Tanaka, Nicolas Marti
IDEAS
2000
IEEE
108views Database» more  IDEAS 2000»
15 years 1 months ago
Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
Stefan Dieker, Ralf Hartmut Güting
PUC
2002
117views more  PUC 2002»
14 years 9 months ago
Mobile Devices as Props in Daily Role Playing
: A mobile device can be used as a prop, to facilitate the interaction between the user and people in the proximity and to actively convey a specific impression to them. Based on f...
Georg Strom