Sciweavers

714 search results - page 74 / 143
» An efficient algorithm for positive realizations
Sort
View
VISSYM
2007
15 years 2 months ago
Depth Cues and Density in Temporal Parallel Coordinates
This paper introduces Temporal Density Parallel Coordinates (TDPC) and Depth Cue Parallel Coordinates (DCPC) which extend the standard 2D parallel coordinates technique to capture...
Jimmy Johansson, Patric Ljung, Matthew Cooper
AI
2004
Springer
14 years 11 months ago
Version spaces and the consistency problem
A version space is a collection of concepts consistent with a given set of positive and negative examples. Mitchell [Mit82] proposed representing a version space by its boundary s...
Haym Hirsh, Nina Mishra, Leonard Pitt
CVPR
2004
IEEE
16 years 1 months ago
Wide Baseline Feature Matching Using the Cross-Epipolar Ordering Constraint
? Robust feature matching across different views of the same scene taken by two cameras with wide baseline and arbitrary rotation is still an open problem. Matching based on appear...
Xiaoye Lu, Roberto Manduchi
SAT
2009
Springer
91views Hardware» more  SAT 2009»
15 years 6 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
IROS
2007
IEEE
161views Robotics» more  IROS 2007»
15 years 6 months ago
An active motion compensation instrument for beating heart mitral valve surgery
—New 3D ultrasound visualization has enabled minimally invasive, beating-heart intracardiac procedures. However, rapid motion of internal heart structures limits the realization ...
Daniel T. Kettler, Richard D. Plowes, Paul M. Novo...