Sciweavers

2799 search results - page 214 / 560
» Comparing Point Clouds
Sort
View
BIBE
2007
IEEE
108views Bioinformatics» more  BIBE 2007»
16 years 25 days 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 15 days 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 14 days 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 1 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 6 hour 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