Sciweavers

882 search results - page 94 / 177
» Allowing State Changes in Specifications
Sort
View
AAAI
1994
15 years 7 months ago
Representing Multiple Theories
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
P. Pandurang Nayak
AAMAS
2008
Springer
15 years 6 months ago
Anticipation based on constraint processing in a multi-agent context
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
Arnaud Doniec, René Mandiau, Sylvain Piecho...
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 6 months ago
Silicon on Nothing Mems Electromechanical Resonator
The very significant growth of the wireless communication industry has spawned tremendous interest in the development of high performances radio frequencies (RF) components. Micro...
Cedric Durand, Fabrice Casset, Pacal Ancey, Fabien...
FAC
2008
178views more  FAC 2008»
15 years 6 months ago
Modeling and validating Mondex scenarios described in UML and OCL with USE
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
Mirco Kuhlmann, Martin Gogolla
JAIR
2000
100views more  JAIR 2000»
15 years 5 months ago
On the Compilability and Expressive Power of Propositional Planning Formalisms
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...
Bernhard Nebel