3941 search results - page 510 / 789 » Computational Efficiency of Batching Methods |
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Profiling an application executing on a microprocessor is part of the solution to numerous software and hardware optimization and design automation problems. Most current profilin...
88
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
102
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
79
Voted
KDD
2006
ACM
16 years 29 days ago
2006
ACM
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...
121
Voted
KDD
2006
ACM
16 years 29 days ago
2006
ACM
Linear and Quadratic Discriminant Analysis have been used widely in many areas of data mining, machine learning, and bioinformatics. Friedman proposed a compromise between Linear ...