Sciweavers

1757 search results - page 141 / 352
» Alternating Refinement Relations
Sort
View
145
Voted
PAAMS
2010
Springer
15 years 1 months ago
A Model-Based Ambient Agent Providing Support in Handling Desire and Temptation
An ambient agent system is presented estimating a human's dynamics of desiring and being tempted. The agent is equipped with a dynamical model of the human's processes wh...
Mark Hoogendoorn, Zulfiqar A. Memon, Jan Treur, Mu...
122
Voted
CSL
2006
Springer
15 years 7 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
114
Voted
OTM
2007
Springer
15 years 9 months ago
Reduction Transformations in ORM
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...
Terry A. Halpin, Andy Carver, Kevin M. Owen
AAAI
2008
15 years 5 months ago
The PELA Architecture: Integrating Planning and Learning to Improve Execution
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
Sergio Jiménez, Fernando Fernández, ...
128
Voted
HASKELL
2008
ACM
15 years 4 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki