Sciweavers

914 search results - page 110 / 183
» Mean Shift Analysis and Applications
Sort
View
ISSTA
2010
ACM
14 years 3 days ago
Exploiting program dependencies for scalable multiple-path symbolic execution
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
Raúl A. Santelices, Mary Jean Harrold
ALGORITHMICA
2006
163views more  ALGORITHMICA 2006»
13 years 10 months ago
Building Large Phylogenetic Trees on Coarse-Grained Parallel Machines
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
Thomas M. Keane, Andrew J. Page, Thomas J. Naughto...
BALT
2010
13 years 5 months ago
Bringing Domain Knowledge to Pattern Matching
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
Agris Sostaks
ICIAR
2007
Springer
14 years 4 months ago
Model-Guided Luminance Range Enhancement in Mixed Reality
Abstract. Mixed Reality (MR) applications tend to focus on the accuracy of registration between the virtual and real objects of a scene, while paying relatively little attention to...
Yunjun Zhang, Charles E. Hughes
IBPRIA
2003
Springer
14 years 3 months ago
Regularization of 3D Cylindrical Surfaces
In this paper we present a method for the regularization of 3D cylindrical surfaces. By a cylindrical surface we mean a 3D surface that can be expressed as an application S(l, θ) ...
Luis Álvarez, Carmelo Cuenca, Javier S&aacu...