Sciweavers

1248 search results - page 138 / 250
» Comparable Entity Mining from Comparative Questions
Sort
View
FMSD
2006
103views more  FMSD 2006»
14 years 10 months ago
Cones and foci: A mechanical framework for protocol verification
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
Wan Fokkink, Jun Pang, Jaco van de Pol
IPM
2008
133views more  IPM 2008»
14 years 10 months ago
Hierarchical summarization for delivering information to mobile devices
Access to information via handheld devices supports decision making away from one's computer. However, limitations include small screens and constrained wireless bandwidth. W...
Jahna Otterbacher, Dragomir R. Radev, Omer Kareem
SIAMDM
2008
90views more  SIAMDM 2008»
14 years 10 months ago
The Nine Morse Generic Tetrahedra
From computational geometry comes the notion of a Gabriel graph of a point set in the plane. The Gabriel graph consists of those edges connecting two points of the point set such t...
D. Siersma, M. van Manen
TGIS
2008
69views more  TGIS 2008»
14 years 10 months ago
Spatial-Scene Similarity Queries
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
Konstantinos A. Nedas, Max J. Egenhofer
ICASSP
2010
IEEE
14 years 8 months ago
Exploring statistical properties for semantic annotation: sparse distributed and convergent assumptions for keywords
Does there exist a compact set of visual topics in form of keyword clusters capable to represent all images visual content within an acceptable error? In this paper, we answer thi...
Xianming Liu, Hongxun Yao, Rongrong Ji