Sciweavers

18 search results - page 4 / 4
» Are End-Users Satisfied by Using Digital Libraries
Sort
View
ICIP
2003
IEEE
14 years 6 months ago
Scalable object-based image retrieval
Digital visual libraries have currently available huge amounts of content in unstructured, nonindexed form. Since these collections keep growing fast, retrieving specific images i...
Tsz Ying Lui, Ebroul Izquierdo
ICPR
2008
IEEE
14 years 6 months ago
Generic scale-space process for handwriting documents analysis
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
Guillaume Joutel, Hubert Emptoz, Véronique ...
CORR
2010
Springer
208views Education» more  CORR 2010»
13 years 5 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002