Sciweavers

5128 search results - page 73 / 1026
» When Abstraction Fails
Sort
View
153
Voted
ECCV
2010
Springer
15 years 1 months ago
Piecewise Quadratic Reconstruction of Non-Rigid Surfaces from Monocular Sequences
Abstract. In this paper we present a new method for the 3D reconstruction of highly deforming surfaces (for instance a flag waving in the wind) viewed by a single orthographic came...
João Fayad, Lourdes de Agapito, Alessio Del...
110
Voted
AAECC
2005
Springer
128views Algorithms» more  AAECC 2005»
15 years 23 days ago
The size-change principle and dependency pairs for termination of term rewriting
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
René Thiemann, Jürgen Giesl
98
Voted
IMCSIT
2010
14 years 10 months ago
BeesyBees - Efficient and Reliable Execution of Service-based Workflow Applications for BeesyCluster using Distributed Agents
Abstract--The paper presents an architecture and implementation that allows distributed execution of workflow applications in BeesyCluster using agents. BeesyCluster is a middlewar...
Pawel Czarnul, Mariusz R. Matuszek, Michal W&oacut...
96
Voted
CVPR
2008
IEEE
16 years 2 months ago
(BP)2: Beyond pairwise Belief Propagation labeling by approximating Kikuchi free energies
Belief Propagation (BP) can be very useful and efficient for performing approximate inference on graphs. But when the graph is very highly connected with strong conflicting intera...
Ifeoma Nwogu, Jason J. Corso
97
Voted
ICPR
2008
IEEE
16 years 2 months ago
Background variability modeling for statistical layout analysis
Geometric layout analysis plays an important role in document image understanding. Many algorithms known in literature work well on standard document images, achieving high text l...
Faisal Shafait, Joost van Beusekom, Daniel Keysers...