14165 search results - page 626 / 2833 » The generalized two-server problem |
187
click to vote
ICRA
2005
IEEE
16 years 24 days ago
2005
IEEE
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...
203
click to vote
COLT
2005
Springer
16 years 22 days ago
2005
Springer
We start by showing that in an active learning setting, the Perceptron algorithm needs Ω( 1 ε2 ) labels to learn linear separators within generalization error ε. We then prese...
205
click to vote
WG
2005
Springer
16 years 20 days ago
2005
Springer
In this paper, we present a new algorithm for computing the chromatic polynomial of a general graph G. Our method is based on the addition of edges and contraction of non-edges of ...
169
click to vote
CAV
2004
Springer
16 years 18 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
155
click to vote
CP
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...