Sciweavers

738 search results - page 8 / 148
» Behavioral Systems Theory: A Survey
Sort
View
UC
2009
Springer
14 years 2 months ago
Evolvable Hardware: From Applications to Implications for the Theory of Computation
The paper surveys the fundamental principles of evolvable hardware, introduces main problems of the field and briefly describes the most successful applications. Although evolvab...
Lukás Sekanina
TOOLS
1999
IEEE
13 years 11 months ago
A Survey of Schema Evolution in Object-Oriented Databases
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
Xue Li
HICSS
2008
IEEE
127views Biometrics» more  HICSS 2008»
14 years 1 months ago
Beyond Cognitions: A Call for Greater Consideration of Emotion in Information Systems Decision Theories
Emotion has been identified as a salient dimension of organizational life and this has led to the emergence of a growing body of literature that suggests its importance to a wide ...
Brent Furneaux, Dorit Nevo
ICRA
2002
IEEE
168views Robotics» more  ICRA 2002»
14 years 12 days ago
A Dynamical Systems Approach to Behavior-Based Formation Control
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Sergio Monteiro, Estela Bicho
ICFP
2003
ACM
14 years 7 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper