2302 search results - page 273 / 461 » Testing as Abstraction |
179
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. By coding the input testing image as a sparse linear combination of the training samples via l1-norm minimization, sparse representation based classification (SRC) has b...
200
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we test some of the most commonly used classifiers to identify which ones are the most robust to changing environments. The environment may change over tim...
199
click to vote
EUROCAST
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
172
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
175
click to vote
ICDE
2005
IEEE
16 years 6 days ago
2005
IEEE
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical inform...