158 search results - page 17 / 32 » Higher Dimensional Transition Systems |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
MCU
2007
13 years 9 months ago
2007
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
HAPTICS
2003
IEEE
14 years 24 days ago
2003
IEEE
Haptic interfaces enable us to interact with virtual objects by sensing our actions and communicating them to a virtual environment. A haptic interface with force feedback capabil...