1160 search results - page 174 / 232 » Revisiting the Sequence Constraint |
202
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...
191
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
Traditionally, shape transformation using implicit functions is performed in two distinct steps: 1) creating two implicit functions, and 2) interpolating between these two functio...
213
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
196
click to vote
FIW
1998
15 years 7 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
188
click to vote
DS
1992
15 years 7 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...