5205 search results - page 861 / 1041 » Tilings and model theory |
160
click to vote
SEMWEB
2005
Springer
16 years 21 hour ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
173
click to vote
VISUAL
2005
Springer
16 years 19 hour ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
158
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
150
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
We prove that the lines tangent to four possibly intersecting convex polyhedra in 3 with n edges in total form Θ(n2 ) connected components in the worst case. In the generic ca...
153
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...