1864 search results - page 91 / 373 » Formal topology and domains |
296
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
170
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Formal classification of a large collection of protein structures aids the understanding of evolutionary relationships among them. Classifications involving manual ste...
159
click to vote
AML
1998
15 years 6 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
257
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Several recent papers have focused on OLAP over imprecise data, where each fact can be a region, instead of a point, in a multidimensional space. They have provided a multiple-wor...
144
click to vote
UC
2009
Springer
16 years 27 days ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...