14078 search results - page 2636 / 2816 » Design and Analysis of Computer Algorithms |
156
Voted
DMS
2008
15 years 5 months ago
2008
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
132
Voted
AAAI
2006
15 years 4 months ago
2006
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding o...
AIPS
2004
15 years 4 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
127
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
135
Voted
ERSA
2006
15 years 4 months ago
2006
High frame rate video capture and image processing is an important capability for applications in defense and homeland security where incoming missiles must be detected in very sh...