580 search results - page 69 / 116 » Some Computational Aspects of distance-sat |
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...
117
click to vote
ICDE
1993
IEEE
15 years 4 months ago
1993
IEEE
A topic that is currently inspiring a lot of research is parallel (distributed) computation of transitive closure queries. In [lo] the disconnection set approach has been introduc...
126
click to vote
TARK
1992
Springer
15 years 3 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
HPCN
1995
Springer
15 years 3 months ago
1995
Springer
In the global economy, proper organisation and planning of production and storage locations, transportation and scheduling are vital to retain the competitive edge of companies. Th...
BMVC
1998
15 years 1 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...