Sciweavers

3719 search results - page 147 / 744
» RACER System Description
Sort
View
DCC
2011
IEEE
15 years 1 months ago
Sparse Boolean equations and circuit lattices
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
Igor Semaev
ICFHR
2010
194views Biometrics» more  ICFHR 2010»
15 years 1 months ago
ICFHR 2010 Contest: Quantitative Evaluation of Binarization Algorithms
This paper describes the ICFHR 2010 Contest for quantitative evaluation of binarization algorithms. These algorithm are applied to synthetic images of modern pdf documents with noi...
Roberto Paredes, Ergina Kavallieratou, Rafael Duei...
IFIP
2010
Springer
15 years 1 months ago
Rialto 2.0: A Language for Heterogeneous Computations
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
Johan Lilius, Andreas Dahlin, Lionel Morel
ICOM
2011
14 years 10 months ago
A Context-Aware Proactive Controller for Smart Environments
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
Frank Krüger, Gernot Ruscher, Sebastian Bader...
ICCV
2011
IEEE
14 years 6 months ago
A robust pipeline for rapid feature-based pre-alignment of dense range scans
Aiming at reaching an interactive and simplified usage of high-resolution 3D acquisition systems, this paper presents a fast and automated technique for pre-alignment of dense ra...
Francesco Bonarrigo, Alberto Signoroni, Riccardo L...