3082 search results - page 556 / 617 » Deviation Analysis: A New Use of Model Checking |
147
click to vote
PAMI
2010
14 years 10 months ago
2010
The notion of using context information for solving high-level vision and medical image segmentation problems has been increasingly realized in the field. However, how to learn a...
125
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
108
click to vote
APVIS
2011
13 years 12 months ago
2011
Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Many analysis techniques rely on co...
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper exploits the context of natural dynamic scenes
for human action recognition in video. Human actions
are frequently constrained by the purpose and the physical
propert...
106
click to vote
DAC
2007
ACM
16 years 26 days ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...