Sciweavers

208 search results - page 9 / 42
» A Constraint on the Number of Distinct Vectors with Applicat...
Sort
View
ICASSP
2008
IEEE
14 years 2 months ago
Learning to satisfy
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
Frederic Thouin, Mark Coates, Brian Eriksson, Robe...
ACIVS
2007
Springer
14 years 1 months ago
Descriptor-Free Smooth Feature-Point Matching for Images Separated by Small/Mid Baselines
Abstract. Most existing feature-point matching algorithms rely on photometric region descriptors to distinct and match feature points in two images. In this paper, we propose an e...
Ping Li, Dirk Farin, Rene Klein Gunnewiek, Peter H...
BMCBI
2007
175views more  BMCBI 2007»
13 years 7 months ago
Fast automated cell phenotype image classification
Background: The genomic revolution has led to rapid growth in sequencing of genes and proteins, and attention is now turning to the function of the encoded proteins. In this respe...
Nicholas A. Hamilton, Radosav S. Pantelic, Kelly H...
ICCV
2007
IEEE
14 years 9 months ago
Robust Visual Tracking Using the Time-Reversibility Constraint
Visual tracking is a very important front-end to many vision applications. We present a new framework for robust visual tracking in this paper. Instead of just looking forward in ...
Hao Wu, Rama Chellappa, Aswin C. Sankaranarayanan,...
FORMATS
2006
Springer
13 years 11 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu