60 search results - page 4 / 12 » The Space Package: Tight Integration between Space and Seman... |
CIVR
2009
Springer
15 years 4 months ago
2009
Springer
To support more effective searches in large-scale weaklytagged image collections, we have developed a novel algorithm to integrate both the visual similarity contexts between the...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
NIPS
2007
14 years 11 months ago
2007
Semantic memory refers to our knowledge of facts and relationships between concepts. A successful semantic memory depends on inferring relationships between items that are not exp...
ICIA
2007
2007
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
14 years 12 months ago
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...