Sciweavers

4616 search results - page 501 / 924
» Extreme Components Analysis
Sort
View
ICALP
1992
Springer
15 years 11 months ago
On Nearest-Neighbor Graphs
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
Mike Paterson, F. Frances Yao
AVBPA
2001
Springer
134views Biometrics» more  AVBPA 2001»
15 years 10 months ago
Pose-Independent Face Identification from Video Sequences
A scheme for pose-independent face recognition is presented. An "unwrapped" texture map is constructed from a video sequence using a texture-from-motion approach, which ...
Michael C. Lincoln, Adrian F. Clark
TYPES
2000
Springer
15 years 10 months ago
Executing Higher Order Logic
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
Stefan Berghofer, Tobias Nipkow
ASPDAC
2008
ACM
196views Hardware» more  ASPDAC 2008»
15 years 8 months ago
A CAD tool for RF MEMS devices
A stable, multiple energy domain and multi scale simulation tool for Microsystems is developed. A structured design methodology is adopted for design and optimization of RF MEMS sh...
Rajesh Pande, Rajendra Patrikar
BIBM
2008
IEEE
106views Bioinformatics» more  BIBM 2008»
15 years 8 months ago
Invariance Kernel of Biological Regulatory Networks
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
Jamil Ahmad, Olivier Roux