1092 search results - page 157 / 219 » Polynomial Interpretations and the Complexity of Algorithms |
158
click to vote
AAAI
2007
15 years 8 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
221
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Due to the capacity of pan-tilt-zoom (PTZ) cameras to
simultaneously cover a panoramic area and maintain high
resolution imagery, researches in automated surveillance
systems wi...
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
While many works have been devoted to service matchmaking and modeling nonfunctional properties, the problem of matching service requests to offers in an optimal way has not yet b...
154
click to vote
RECOMB
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Accurate comparative analysis tools for low-homology proteins remains a difficult challenge in computational biology, especially sequence alignment and consensus folding ...
179
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...