109 search results - page 9 / 22 » Reducing Model Checking of the Many to the Few |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
BPM
2005
Springer
14 years 3 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
LATIN
2010
Springer
14 years 4 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
PRESENCE
1998
13 years 9 months ago
1998
Many multiresolution methods have been proposed. Most of them emphasize accuracy and hence are slow. Some methods may be fast, but they may not preserve the geometry of the model....
CSB
2005
IEEE
13 years 11 months ago
2005
IEEE
In microarray classification we are faced with a very large number of features and very few training samples. This is a challenge for classical Linear Discriminant Analysis (LDA),...