Sciweavers

313 search results - page 5 / 63
» Preprocessors from an Abstract Point of View
Sort
View
EUROPAR
2004
Springer
13 years 11 months ago
Enhancing Efficiency of Byzantine-Tolerant Coordination Protocols via Hash Functions
Abstract. Distributed protocols resilient to Byzantine failures are notorious to be costly from the computational and communication point of view. In this paper we discuss the role...
Daniela Tulone
ACCV
2007
Springer
14 years 1 months ago
Visual Odometry for Non-overlapping Views Using Second-Order Cone Programming
Abstract. We present a solution for motion estimation for a set of cameras which are firmly mounted on a head unit and do not have overlapping views in each image. This problem re...
Jae-Hak Kim, Richard I. Hartley, Jan-Michael Frahm...
CAV
2009
Springer
218views Hardware» more  CAV 2009»
14 years 8 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken
ECSQARU
2009
Springer
14 years 1 months ago
Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
sing Attacks to Attacks in Abstract Argumentation Frameworks Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida Dipartimento di Elettronica per l’Automazi...
Pietro Baroni, Federico Cerutti, Massimiliano Giac...
ECAL
2007
Springer
13 years 11 months ago
From the Outside-In: Embodied Attention in Toddlers
Abstract. An important goal in cognitive development research is an understanding of the real-world physical and social environment in which learning takes place. However, the rele...
Linda B. Smith, Chen Yu, Alfredo F. Pereira