1664 search results - page 185 / 333 » Towards Partial Reasoning |
109
Voted
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
134
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
136
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
171
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces a new method for surface reconstruction from multiple calibrated images. The primary contribution of this work is the notion of local prior to combine the ...
147
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...