Sciweavers

13026 search results - page 2322 / 2606
» Probabilistic Relational Models
Sort
View
EGH
2004
Springer
15 years 8 months ago
Efficient partitioning of fragment shaders for multiple-output hardware
Partitioning fragment shaders into multiple rendering passes is an effective technique for virtualizing shading resource limits in graphics hardware. The Recursive Dominator Split...
Tim Foley, Mike Houston, Pat Hanrahan
FGR
2004
IEEE
323views Biometrics» more  FGR 2004»
15 years 8 months ago
Automatic 3D Reconstruction for Face Recognition
An analysis-by-synthesis framework for face recognition with variant pose, illumination and expression (PIE) is proposed in this paper. First, an efficient 2D-to-3D integrated fac...
Yuxiao Hu, Dalong Jiang, Shuicheng Yan, Lei Zhang,...
CONCUR
2006
Springer
15 years 8 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
DAGM
2006
Springer
15 years 8 months ago
Towards Unsupervised Discovery of Visual Categories
Recently, many approaches have been proposed for visual object category detection. They vary greatly in terms of how much supervision is needed. High performance object detection m...
Mario Fritz, Bernt Schiele
DALT
2006
Springer
15 years 8 months ago
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
Adam Zachary Wyner
« Prev « First page 2322 / 2606 Last » Next »