Sciweavers

1363 search results - page 2 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
CSL
2004
Springer
14 years 23 days ago
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
Neil Immerman, Alexander Moshe Rabinovich, Thomas ...
CCS
2007
ACM
14 years 1 months ago
Managing RBAC states with transitive relations
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
Chaoyi Pang, David P. Hansen, Anthony J. Maeder
NIPS
2003
13 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
EMSOFT
2005
Springer
14 years 27 days ago
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
ACII
2007
Springer
14 years 1 months ago
The Dynamics of Affective Transitions in Simulation Problem-Solving Environments
We analyze the antecedents of affective states in a simulation problem-solving environment, The Incredible Machine: Even More Contraptions, through quantitative field observations ...
Ryan Shaun Joazeiro de Baker, Ma. Mercedes T. Rodr...