Sciweavers

332 search results - page 35 / 67
» Specifying Complex and Structured Systems with Evolving Alge...
Sort
View
ATAL
2007
Springer
14 years 3 months ago
Normative system games
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
COGSCI
2010
103views more  COGSCI 2010»
13 years 9 months ago
From Perceptual Categories to Concepts: What Develops?
People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dyna...
Vladimir M. Sloutsky
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
14 years 9 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
IANDC
2008
112views more  IANDC 2008»
13 years 8 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...
HVC
2007
Springer
153views Hardware» more  HVC 2007»
14 years 20 days ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul