2496 search results - page 115 / 500 » On covering by translates of a set |
194
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
189
click to vote
CVIU
2006
15 years 6 months ago
2006
This paper describes a variational method with active curve evolution and level sets for the estimation, segmentation, and 3D interpretation of optical flow generated by independe...
190
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We present a novel variational approach to top-down image segmentation, which accounts for significant projective transformations between a single prior image and the image to be s...
177
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the procedure adopted by the three co-ordinators of the CLEF 2003 question answering track (ITC-irst, UNED and ILLC) to create the question set for the monoli...
154
click to vote
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
An instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulator...