4118 search results - page 444 / 824 » Efficient Algorithms for Airline Problem |
234
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
284
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
The problem of skyline computation has attracted considerable research attention. In the categorical domain the problem becomes more complicated, primarily due to the partially-or...
205
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
This paper studies the problem of simultaneously aligning a batch of linearly correlated images despite gross corruption (such as occlusion). Our method seeks an optimal set of im...
145
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present an effective method to optimize over the parameters of an image patch descriptor to obtain one that is computationally more efficient while maintaining a high recogniti...
168
click to vote
ICTAI
2005
IEEE
16 years 11 days ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...