6355 search results - page 909 / 1271 » From Logic to Games |
187
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
175
click to vote
TIME
2005
IEEE
16 years 12 days ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
182
click to vote
WSE
2005
IEEE
16 years 12 days ago
2005
IEEE
One way to improve the maintainability of a web application is to separate its presentation from the business logic. Such separation not only makes a web application easier to evo...
168
Voted
ACII
2005
Springer
16 years 12 days ago
2005
Springer
We propose an architecture of an embodied conversational agent that takes into account two aspects of emotions: the emotions triggered by an event (the felt emotions) and the expre...
201
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...