13383 search results - page 2350 / 2677 » Abstractions from proofs |
143
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
126
click to vote
BILDMED
2007
15 years 5 months ago
2007
Abstract. A major problem of segmentation of magnetic resonance images is that intensities are not standardized like in computed tomography. This article deals with the correction ...
189
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
131
click to vote
SWAP
2008
15 years 5 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
163
click to vote
EUMAS
2006
15 years 5 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...