50 search results - page 6 / 10 » On the Origin and Status of our Conception of Number |
153
click to vote
IEEEHPCS
2010
15 years 4 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...
173
click to vote
ICPADS
2000
IEEE
15 years 9 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...
142
click to vote
KDD
2009
ACM
2009
ACM
Quantification and semi-supervised classification methods for handling changes in class distribution
16 years 6 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...
173
click to vote
JSS
2010
15 years 25 days 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...
141
click to vote
SIGGRAPH
1999
ACM
15 years 10 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...