5255 search results - page 942 / 1051 » Formal Methods for Privacy |
135
Voted
EKAW
2006
Springer
15 years 6 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
120
Voted
ESA
2006
Springer
15 years 6 months ago
2006
Springer
An instance of the generalized partial cover problem consists of a ground set U and a family of subsets S 2U . Each element e U is associated with a profit p(e), whereas each su...
110
Voted
ESWS
2006
Springer
15 years 6 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
136
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
130
click to vote
AIPR
2001
IEEE
15 years 6 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 ...