588 search results - page 67 / 118 » Minimality Results for the Spatial Logics |
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
TREC
2003
13 years 10 months ago
2003
In this our first participation in TREC we have focused on the passage task of the question answering track. The main aim of our participation was to test the impact of various t...
IJCV
2008
13 years 7 months ago
2008
This paper deals with video segmentation based on motion and spatial information. Classically, the motion term is based on a motion compensation error (MCE) between two consecutiv...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Behavior synthesis and optimization beyond the register transfer level require an efficient utilization of the underlying platform features. This paper presents a platform-based ...
IJCV
2007
13 years 8 months ago
2007
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...