396 search results - page 59 / 80 » Combining decision procedures for the reals |
104
Voted
SIGGRAPH
1996
ACM
15 years 5 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
144
click to vote
CVPR
2006
IEEE
15 years 3 months ago
2006
IEEE
Recently, there has been a flurry of research on face recognition based on multiple images or shots from either a video sequence or an image set. This paper is also such an attemp...
CP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...
EOR
2008
15 years 1 months ago
2008
Process capability indices provide numerical measures on whether a process conforms to the defined manufacturing capability prerequisite. These have been successfully applied by c...
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...