258 search results - page 16 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
131
click to vote
PAMI
2008
15 years 3 months ago
2008
We present a novel method for motion segmentation and depth ordering from a video sequence in general motion. We first compute motion segmentation based on differential properties ...
113
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
116
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
143
Voted
AINA
2003
IEEE
15 years 7 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
158
Voted
ISCI
2011
14 years 10 months ago
2011
We present a general rule induction algorithm based on sequential covering, suitable for variable consistency rough set approaches. This algorithm, called VC-DomLEM, can be used f...