5639 search results - page 860 / 1128 » Timed Abstract Non-interference |
142
click to vote
SARA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
156
Voted
SCALESPACE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce a novel implicit approach for surface patch segmentation in 3D images starting from a single point. Since the boundary surface of an object is locally homeom...
114
click to vote
AIIA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...
125
click to vote
ATAL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...
133
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem ...