Sciweavers

878 search results - page 130 / 176
» Learning to Control in Operational Space
Sort
View
USENIX
2008
15 years 2 months ago
A Compacting Real-Time Memory Management System
We propose a real real-time memory management system called Compact-fit that offers both time and space predictability. Compact-fit is a compacting memory management system for al...
Silviu S. Craciunas, Christoph M. Kirsch, Hannes P...
TFS
2008
131views more  TFS 2008»
14 years 11 months ago
A Fuzzy Qualitative Framework for Connecting Robot Qualitative and Quantitative Representations
Abstract-- This paper proposes a novel framework for describing articulated robot kinematics motion with the goal of providing a unified representation by combining symbolic or qua...
Honghai Liu
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 6 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
AAAI
2008
15 years 2 months ago
Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...
Kagan Tumer, Adrian K. Agogino
HICSS
2006
IEEE
98views Biometrics» more  HICSS 2006»
15 years 5 months ago
Electricity Markets: How Many, Where and When?
Most markets compromise the economist’s ideal of matching the marginal benefits to consumers with the marginal cost of supply for incremental purchases because individual buyers...
Nodir Adilov, Richard E. Schuler