971 search results - page 124 / 195 » Approximate Satisfiability and Equivalence |
103
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Quasistatic multi-legged locomotion consists of a sequence of equilibrium postures where the mechanism supports itself against gravity while moving free limbs to new positions....
96
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...
96
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We investigate the design of iterative, limited-precision mechanisms for single-good auctions with dominant strategy equilibria. Our aim is to design mechanisms that minimize the ...
94
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
— Closed-loop, asymptotically stable walking motions are designed for a 5-link, planar bipedal robot model with one degree of underactuation. Parameter optimization is applied to...
132
click to vote
CIAC
1994
Springer
15 years 4 months ago
1994
Springer
We consider the problem of maintaining a binary search tree (BST) that minimizes the average access cost needed to satisfy randomly generated requests. We analyze scenarios in whi...