50 search results - page 6 / 10 » On the Origin and Status of our Conception of Number |
IEEEHPCS
2010
13 years 6 months ago
2010
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
ICPADS
2000
IEEE
13 years 11 months ago
2000
IEEE
1 Reliable communication in cube-based multicomputers using the extended safety vector concept is studied in this paper. In our approach, each node in a cube-based multicomputer o...
KDD
2009
ACM
2009
ACM
Quantification and semi-supervised classification methods for handling changes in class distribution
14 years 8 months ago
In realistic settings the prevalence of a class may change after a classifier is induced and this will degrade the performance of the classifier. Further complicating this scenari...
JSS
2010
13 years 2 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
SIGGRAPH
1999
ACM
13 years 12 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...