Sciweavers

579 search results - page 104 / 116
» Intersecting Classes and Prototypes
Sort
View
OOPSLA
2010
Springer
13 years 6 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
EUSFLAT
2009
133views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
On the Information Provided by Uncertainty Measures in the Classification of Remote Sensing Images
This paper investigates the potential information provided to the user by the uncertainty measures applied to the possibility distributions associated with the spatial units of an ...
Luisa M. S. Gonçalves, Cidália C. Fo...
TMM
2010
135views Management» more  TMM 2010»
13 years 2 months ago
Image Classification With Kernelized Spatial-Context
Abstract--The goal of image classification is to classify a collection of unlabeled images into a set of semantic classes. Many methods have been proposed to approach this goal by ...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Jinhui Tang,...
CVPR
2006
IEEE
14 years 9 months ago
SVM-KNN: Discriminative Nearest Neighbor Classification for Visual Category Recognition
We consider visual category recognition in the framework of measuring similarities, or equivalently perceptual distances, to prototype examples of categories. This approach is qui...
Alexander C. Berg, Hao Zhang 0003, Jitendra Malik,...
SIGSOFT
2008
ACM
14 years 8 months ago
Randomized active atomicity violation detection in concurrent programs
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
Chang-Seo Park, Koushik Sen