529 search results - page 14 / 106 » Property Directed Abstract Interpretation |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
In GIS and spatial databases, cardinal directions are frequently used as selection and join criteria in query languages. However, most cardinal direction models are only able to h...
COSIT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
TSP
2008
13 years 7 months ago
2008
Abstract--This paper presents an over-complete multiscale decomposition by combining the Laplacian pyramid and the complex directional filter bank (DFB). The filter bank is constru...
COMBINATORICS
2006
13 years 7 months ago
2006
Abstract. Let G denote a directed graph with adjacency matrix Q and indegree matrix D. We consider the Kirchhoff matrix L = D - Q, sometimes referred to as the directed Laplacian. ...