1632 search results - page 7 / 327 » Topological Analysis of Refinement |
170
click to vote
GIS
2005
ACM
15 years 11 months ago
2005
ACM
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...
106
click to vote
EDBT
2012
ACM
13 years 15 days ago
2012
ACM
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
ICIAR
2010
Springer
15 years 2 months ago
2010
Springer