10159 search results - page 1792 / 2032 » System Design Validation Using Formal Models |
187
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
— Most robotic vision algorithms are proposed by envisaging robots operating in structured environments where the world is assumed to be rigid. These algorithms fail to provide o...
155
click to vote
PERCOM
2010
ACM
15 years 10 months ago
2010
ACM
—AutoGait is a mobile platform that autonomously discovers a user’s walking profile and accurately estimates the distance walked. The discovery is made by utilizing the GPS in...
188
click to vote
CBMS
2001
IEEE
15 years 10 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
153
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
210
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
As online social networking emerges, there has been increased interest to utilize the underlying social structure as well as the available social information to improve search. In...