1864 search results - page 36 / 373 » Formal topology and domains |
FLAIRS
2007
14 years 7 days ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
IMAMS
2007
13 years 11 months ago
2007
In this paper, we consider the problem of analysing the shape of an object defined by polynomial equations in a domain. We describe regularity criteria which allow us to determine...
AHSWN
2005
13 years 9 months ago
2005
Over the last few years, novel architectures like ad hoc and sensor networks have introduced new challenges in the way the communication infrastructure must be addressed. Unlike t...
CAGD
2004
13 years 9 months ago
2004
Topologically consistent algorithms for the intersection and trimming of free-form parametric surfaces are of fundamental importance in computer-aided design, analysis, and manufa...
SCP
2011
13 years 4 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...