6608 search results - page 988 / 1322 » On the Completeness of Model Checking |
192
click to vote
BMVC
2010
15 years 4 months ago
2010
We present a novel method to detect curves with unknown endpoints using minimal path techniques. Our work builds on the state of the art minimal path techniques currently used to ...
260
click to vote
CAINE
2010
15 years 4 months ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
134
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes the control of a human-like robotic neck actuated with tendons. The controller regulates the length of the tendons to achieve a desired orientation of the neck...
300
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
204
click to vote
NAACL
2010
15 years 4 months ago
2010
Most learning algorithms for undirected graphical models require complete inference over at least one instance before parameter updates can be made. SampleRank is a rankbased lear...