4513 search results - page 733 / 903 » Logic programming with satisfiability |
163
click to vote
RIDE
2003
IEEE
15 years 11 months ago
2003
IEEE
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...
174
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...
164
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Recently, Fabrikant, Koutsoupias and Papadimitriou [7] introduced a natural and beautifully simple model of network growth involving a trade-off between geometric and network obje...
153
click to vote
ICRA
2002
IEEE
15 years 11 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...
139
click to vote
WDAG
2001
Springer
15 years 10 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...