Sciweavers

315 search results - page 63 / 63
» Parametric real-time reasoning
Sort
View
BMCBI
2008
173views more  BMCBI 2008»
13 years 6 months ago
Gene Vector Analysis (Geneva): A unified method to detect differentially-regulated gene sets and similar microarray experiments
Background: Microarray experiments measure changes in the expression of thousands of genes. The resulting lists of genes with changes in expression are then searched for biologica...
Stephen W. Tanner, Pankaj Agarwal
CGF
2006
191views more  CGF 2006»
13 years 6 months ago
A Robust Two-Step Procedure for Quad-Dominant Remeshing
We propose a new technique for quad-dominant remeshing which separates the local regularity requirements from the global alignment requirements by working in two steps. In the fir...
Martin Marinov, Leif Kobbelt
CORR
2004
Springer
151views Education» more  CORR 2004»
13 years 6 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
LOGCOM
2000
63views more  LOGCOM 2000»
13 years 6 months ago
Reflection principles in computational logic
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Co...
PAMI
2007
217views more  PAMI 2007»
13 years 5 months ago
Discriminative Learning and Recognition of Image Set Classes Using Canonical Correlations
—We address the problem of comparing sets of images for object recognition, where the sets may represent variations in an object’s appearance due to changing camera pose and li...
Tae-Kyun Kim, Josef Kittler, Roberto Cipolla