Sciweavers

877 search results - page 79 / 176
» Structural Cut Elimination
Sort
View
ICIP
2000
IEEE
14 years 9 months ago
Computationally Scalable Partial Distance Based Fast Search Motion Estimation
In this paper, we present a class of algorithms that use a partial distance metric to speedup the motion estimation process. The partial distance metric is used within the motion ...
Krisda Lengwehasatit, Antonio Ortega
WG
2009
Springer
14 years 2 months ago
Chordal Digraphs
Chordal graphs, also called triangulated graphs, are important in algorithmic graph theory. In this paper we generalise the definition of chordal graphs to the class of directed ...
Daniel Meister, Jan Arne Telle
CCECE
2006
IEEE
14 years 1 months ago
XPHEVE: An Extensible Physics Engine for Virtual Environments
Virtual Reality (VR) has gained more popularity in the recent years due to the advancements in hardware technology, an advancement that eliminated much of the limitations that VR ...
Saeid Nourian, Xiaojun Shen, Nicolas D. Georganas
SAT
2004
Springer
109views Hardware» more  SAT 2004»
14 years 1 months ago
Resolve and Expand
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
Armin Biere
ECCV
2010
Springer
14 years 27 days ago
Learning What and How of Contextual Models for Scene Labeling
We present a data-driven approach to predict the importance of edges and construct a Markov network for image analysis based on statistical models of global and local image feature...