1272 search results - page 104 / 255 » The Set Cover with Pairs Problem |
73
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Given a time horizon parameter h and an object set O, predictive collision detection finds all the object pairs < oi, oj, ti > which will collide in the future time interva...
73
Voted
RTA
1993
Springer
15 years 4 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
104
Voted
NIPS
2004
15 years 2 months ago
2004
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...
195
Voted
VSTTE
2012
Springer
13 years 8 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
352
Voted
ICSE
2012
IEEE-ACM
13 years 3 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...