Sciweavers

2799 search results - page 214 / 560
» Comparing Point Clouds
Sort
View
BIBE
2007
IEEE
108views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
Using Parsimony to Guide Maximum Likelihood Searches
—The performance of maximum likelihood searches can be boosted by using the most parsimonious tree as a starting point for the search. The time spent in performing the parsimony ...
Kenneth Sundberg, Timothy O'Connor, Hyrum Carroll,...
ICMCS
2006
IEEE
113views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Multi-View Video Coding using View Interpolation and Reference Picture Selection
We propose a new multi-view video coding method using adaptive selection of motion/disparity compensation based on H.264/AVC. One of the key points of the proposed method is the u...
Masaki Kitahara, Hideaki Kimata, Shinya Shimizu, K...
LICS
2006
IEEE
16 years 1 months ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer
ASPDAC
2005
ACM
85views Hardware» more  ASPDAC 2005»
16 years 21 days ago
Integration of supercubing and learning in a SAT solver
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
Domagoj Babic, Alan J. Hu
ESWS
2005
Springer
16 years 20 days ago
Querying RDF Data from a Graph Database Perspective
Abstract. This paper studies the RDF model from a database perspective. From this point of view it is compared with other database models, particularly with graph database models, ...
Renzo Angles, Claudio Gutiérrez