881 search results - page 151 / 177 » Solving satisfiability problems with preferences |
114
Voted
JCST
2000
15 years 2 months ago
2000
: A mass of heterogeneous, distributed and dynamic information on the World Wide Web (the Web) has resulted in "information overload". It's an important and urgent r...
133
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
123
Voted
CP
2010
Springer
15 years 24 days ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
130
Voted
BMVC
2010
14 years 9 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
130
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- Recovering or estimating the initial state of a highdimensional system can require a potentially large number of measurements. In this paper, we explain how this burden ...