3281 search results - page 352 / 657 » An Approach to use Executable Models for Testing |
124
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...
147
click to vote
KDD
2005
ACM
16 years 5 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
135
click to vote
DGO
2003
15 years 6 months ago
2003
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
131
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Sparse representations of signals have received a great deal of attention in recent years, and the sparse representation classifier has very lately appeared in a speaker recogniti...
167
Voted
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...