4520 search results - page 69 / 904 » Algebraic Techniques for Timed Systems |
185
click to vote
LR
2011
15 years 1 months ago
2011
This paper suggests a routing method for automated guided vehicles in port terminals that uses the Q-learning technique. One of the most important issues for the efficient operati...
183
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
151
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
160
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
147
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...