1449 search results - page 257 / 290 » Self-Randomized Exponentiation Algorithms |
126
Voted
GLVLSI
2009
IEEE
15 years 9 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
152
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Through the algorthmic design patterns of data parallelism and task parallelism, the graphics processing unit (GPU) offers the potential to vastly accelerate discovery and innovat...
115
Voted
ACIVS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Feature subset selection is an important subject when training classifiers in Machine Learning (ML) problems. Too many input features in a ML problem may lead to the so-...
128
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
124
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...