Sciweavers

5583 search results - page 283 / 1117
» Application of Micro-Genetic Algorithm for Task Based Comput...
Sort
View
TACAS
2009
Springer
144views Algorithms» more  TACAS 2009»
15 years 11 months ago
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
Christoph Scholl, Stefan Disch, Florian Pigorsch, ...
FLAIRS
2003
15 years 8 months ago
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems
Freuder in (1991) defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently (2002), we extended the definition of interchangeability to Soft CSP...
Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
OTM
2007
Springer
16 years 23 days ago
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
Giuliano Mega, Fabio Kon
CVPR
2006
IEEE
16 years 21 days ago
Tracking of Multiple, Partially Occluded Humans based on Static Body Part Detection
Tracking of humans in videos is important for many applications. A major source of difficulty in performing this task is due to inter-human or scene occlusion. We present an appr...
Bo Wu, Ram Nevatia
EMMCVPR
1999
Springer
15 years 11 months ago
A New Algorithm for Energy Minimization with Discontinuities
Many tasks in computer vision involve assigning a label (such as disparity) to every pixel. These tasks can be formulated as energy minimization problems. In this paper, we conside...
Yuri Boykov, Olga Veksler, Ramin Zabih