2488 search results - page 449 / 498 » An improvement in formal verification |
102
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
105
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
118
click to vote
AIPR
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
151
click to vote
EKAW
2000
Springer
15 years 5 months ago
2000
Springer
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
169
click to vote
ICCV
1995
IEEE
15 years 4 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...