4520 search results - page 69 / 904 » Algebraic Techniques for Timed Systems |
132
click to vote
LR
2011
14 years 8 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...
137
click to vote
DAC
1997
ACM
15 years 6 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...
108
Voted
CAEPIA
2003
Springer
15 years 7 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...
114
Voted
ICRA
2010
IEEE
15 years 12 days 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...
106
Voted
KI
2001
Springer
15 years 6 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...