6300 search results - page 131 / 1260 » We have it easy, but do we have it right |
115
click to vote
RAS
2006
15 years 1 months ago
2006
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
125
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
132
click to vote
WETICE
1998
IEEE
15 years 5 months ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
112
click to vote
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
At any given time, the stability of a community depends on the right balance of trust and distrust. Furthermore, we face information overload, increased uncertainty and risk takin...
128
click to vote
SBBD
2007
15 years 2 months ago
2007
Abstract. We consider the problem of XML schema evolution preserving the validity of existing documents related to the original schema. The aim of such schema evolution is to fit ...