Sciweavers

4061 search results - page 381 / 813
» The Dynamics of Change
Sort
View
SPATIALCOGNITION
2004
Springer
16 years 7 days ago
Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
Frank Dylla, Reinhard Moratz
ICRA
2003
IEEE
147views Robotics» more  ICRA 2003»
16 years 5 days ago
Synthesis of walking primitive databases for biped robots in 3D-environments
Abstract—This paper presents a systematic approach to generate walking primitive databases for anthropomorphic 3D–bipeds allowing step length adaptation, direction changes and ...
Joachim Denk, Günther Schmidt
165
Voted
ISPDC
2003
IEEE
16 years 4 days ago
Hardware-based Power Management for Real-Time Applications
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...
Sascha Uhrig, Theo Ungerer
GI
2009
Springer
15 years 11 months ago
True Lies: Lazy Contracts for Lazy Languages
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
Markus Degen, Peter Thiemann, Stefan Wehr
ECOOPW
2001
Springer
15 years 11 months ago
Adaptive Object-Models and Metamodeling Techniques
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...
Nicolas Revault, Joseph W. Yoder