2902 search results - page 143 / 581 » Simple Local Models for Complex Dynamical Systems |
127
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...
173
click to vote
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
141
click to vote
CASCON
1996
15 years 6 months ago
1996
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
151
Voted
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
119
Voted
IADIS
2003
15 years 6 months ago
2003
One of the main objectives in setting up wireless services is to provide feasible content for the mobile users wherever and whenever they might need it. The dream of having servic...