3082 search results - page 185 / 617 » Deviation Analysis: A New Use of Model Checking |
368
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
207
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
163
click to vote
BROADNETS
2007
IEEE
16 years 23 days ago
2007
IEEE
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
174
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
Language model (LM) adaptation is often achieved by combining a generic LM with a topic-specific model that is more relevant to the target document. Unlike previous work on unsup...
166
click to vote
ICRA
2008
IEEE
16 years 26 days ago
2008
IEEE
— This paper discusses the grasp planning of a multifingered hand attached at the tip of a robotic arm. By using the convex models and the new approximation method of the fricti...