8728 search results - page 1353 / 1746 » On Reduct Construction Algorithms |
178
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
This paper provides a novel Web image clustering methodology based on their associated texts. In our approach, the semantics of Web images are firstly represented into vectors of t...
168
Voted
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
194
Voted
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
183
click to vote
WDAG
2005
Springer
16 years 9 days ago
2005
Springer
Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent obje...
192
click to vote
ICML
2004
IEEE
16 years 8 days ago
2004
IEEE
The paper is concerned with two-class active learning. While the common approach for collecting data in active learning is to select samples close to the classification boundary,...