5015 search results - page 499 / 1003 » Model Checking a Path |
174
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
The increasing popularity of social networks has initiated a fertile research area in information extraction and data mining. Although such analysis can facilitate better understan...
181
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
181
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a method for trajectory generation for all-wheel steering mobile robots which can account for rough terrain and predictable vehicle dynamics and apply it to the problem...
164
click to vote
ASPDAC
2004
ACM
16 years 8 days ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
199
click to vote
SMA
2003
ACM
16 years 3 days ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...