Sciweavers

29172 search results - page 343 / 5835
» Modeling Systems in CLP
Sort
View
NIPS
2003
15 years 8 months ago
Learning a World Model and Planning with a Self-Organizing, Dynamic Neural System
We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are...
Marc Toussaint
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
16 years 3 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...
ASIASIM
2004
Springer
16 years 5 days ago
A Security Risk Analysis Model for Information Systems
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...
Hoh Peter In, Young-Gab Kim, Taek Lee, Chang-Joo M...
FM
2008
Springer
110views Formal Methods» more  FM 2008»
15 years 8 months ago
A Model Checking Language for Concurrent Value-Passing Systems
Modal
Radu Mateescu, Damien Thivolle