1060 search results - page 160 / 212 » Mechanized semantics |
103
click to vote
CASES
2005
ACM
14 years 11 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
RAID
2005
Springer
15 years 3 months ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a novel method for detecting scale
invariant keypoints. It fills a gap in the set of available
methods, as it proposes a scale-selection mechanism for
juncti...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, an image retrieval methodology suited for search in large collections of heterogeneous images is presented. The proposed approach employs a fully unsupervised segme...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We tackle the problem of disambiguating entities on the Web. We propose a user-driven scheme where graphs of entities ? represented by globally identifiable declarative artifacts ...