1864 search results - page 88 / 373 » Formal topology and domains |
149
click to vote
AMW
2009
15 years 7 months ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
138
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these ki...
133
click to vote
ADC
1995
Springer
15 years 10 months ago
1995
Springer
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these k...
182
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In some application domains, such as medical imaging, the objects that compose the scene are known as well as some of their properties and their spatial arrangement. We can take ad...
159
click to vote
JOT
2006
15 years 6 months ago
2006
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...