Sciweavers

5138 search results - page 898 / 1028
» Randomized Algorithms for 3-SAT
Sort
View
ECCV
2010
Springer
15 years 6 months ago
Lighting and Pose Robust Face Sketch Synthesis
Automatic face sketch synthesis has important applications in law enforcement and digital entertainment. Although great progress has been made in recent years, previous methods onl...
ACMSE
1992
ACM
15 years 6 months ago
Visible surface ray-tracing of stereoscopic images
Ray-tracing is a well-known method for producing realistic images. If we wish to view a ray-traced image stereoscopically, we must create two distinct views of the image: a left-e...
Stephen J. Adelson, Larry F. Hodges
AUSAI
2007
Springer
15 years 6 months ago
Branching Rules for Satisfiability Analysed with Factor Analysis
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying va...
Richard J. Wallace, Stuart Bain
CONEXT
2007
ACM
15 years 6 months ago
On improving the efficiency and manageability of NotVia
This paper presents techniques that improve the efficiency and manageability of an IP Fast Reroute (IPFRR) technology: NotVia. NotVia provides the IPFRR service for all destinatio...
Ang Li, Pierre Francois, Xiaowei Yang
CP
2007
Springer
15 years 6 months ago
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
Alfonso Gerevini, Alessandro Saetti