3053 search results - page 268 / 611 » Structured Objects: Modeling and Reasoning |
132
click to vote
DMIN
2006
15 years 5 months ago
2006
Many of the multimedia researchers have focused on the issue of the retrieval of images using indexed image collections. A number of spatial data structures based on Minimum Bound...
128
click to vote
CJ
2006
15 years 4 months ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
146
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
126
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Protein structure prediction and computational protein design require efficient yet sufficiently accurate descriptions of aqueous solvent. We continue to evaluate the ...
151
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...