4211 search results - page 423 / 843 » Types as Abstract Interpretations |
136
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— A new control type for stick-slip microsystems is proposed in this paper: the voltage/frequency (U/f) proportional control. It gives a best resolution relatively to the...
183
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Mixed Multi-Unit Combinatorial Auctions extend and generalise all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical ap...
199
click to vote
CIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we compare state-of-the-art multi-agent reinforcement learning algorithms in a wide variety of games. We consider two types of algorithms: value iteration a...
152
click to vote
HYBRID
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
194
click to vote
ICIC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...