1700 search results - page 233 / 340 » Combinatorial Pattern Matching |
103
Voted
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Perceptual experiments indicate that corners and curvature are very important features in the process of recognition. This paper presents a new method to detect rotational symmetr...
79
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
While being quite successful in providing keyword based access to web pages, commercial search portals, such as Google, Yahoo, AltaVista, and AOL, still lack the ability to answer...
228
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
90
Voted
ICIAP
2005
ACM
16 years 24 days ago
2005
ACM
Automatic recognition of time and date stamps in CCTV video enables the inclusion of time-based queries in video indexing applications. Such ability needs to deal with problems of ...
118
click to vote
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...