3818 search results - page 457 / 764 » Word Problems on Compressed Words |
173
Voted
WAIM
2009
Springer
15 years 11 months ago
2009
Springer
In the k-nearest neighbor (KNN) classifier, nearest neighbors involve only labeled data. That makes it inappropriate for the data set that includes very few labeled data. In this ...
172
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
173
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
The problem of face identification has received significant attention over the years. For a given probe face, the goal of face identification is to match this unknown face against ...
180
click to vote
GMP
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
167
click to vote
COMPGEOM
1999
ACM
15 years 11 months ago
1999
ACM
We show a remarkable fact about folding paper: From a single rectangular sheet of paper, one can fold it into a flat origami that takes the (scaled) shape of any connected polygo...