Sciweavers

866 search results - page 18 / 174
» Incremental Class Testing from a Class Test Order
Sort
View
PASTE
2005
ACM
14 years 28 days ago
Generalizing symbolic execution to library classes
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
Sarfraz Khurshid, Yuk Lai Suen
ACCV
2007
Springer
14 years 1 months ago
Hierarchical Learning of Dominant Constellations for Object Class Recognition
Abstract. The importance of spatial configuration information for object class recognition is widely recognized. Single isolated local appearance codes are often ambiguous. On the...
Nathan Mekuz, John K. Tsotsos
ASWC
2006
Springer
13 years 11 months ago
Partition-Based Block Matching of Large Class Hierarchies
Abstract. Ontology matching is a crucial task of enabling interoperation between Web applications using different but related ontologies. Due to the size and the monolithic nature,...
Wei Hu, Yuanyuan Zhao, Yuzhong Qu
AOSD
2006
ACM
14 years 1 months ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao
MICAI
2010
Springer
13 years 5 months ago
Combining Neural Networks Based on Dempster-Shafer Theory for Classifying Data with Imperfect Labels
This paper addresses the supervised learning in which the class membership of training data are subject to uncertainty. This problem is tackled in the framework of the Dempster-Sha...
Mahdi Tabassian, Reza Ghaderi, Reza Ebrahimpour