742 search results - page 112 / 149 » Order Structure, Correspondence, and Shape Based Categories |
GEOS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
VIS
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, we present a space efficient algorithm for speeding up isosurface extraction. Even though there exist algorithms that can achieve optimal search performance to iden...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
A large amount of information on the Web is contained in regularly structured objects, which we call data records. Such data records are important because they often present the e...
ICMI
2009
Springer
14 years 2 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...