4491 search results - page 773 / 899 » Algorithm Engineering |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
ADT
2006
13 years 9 months ago
2006
Standard TCP (Reno TCP) does not perform well on fast long distance networks, due to its AIMD congestion control algorithm. In this paper we consider the effectiveness of various a...
ENGL
2008
13 years 9 months ago
2008
Abstract--Over-sampling sigma-delta analog-todigital converters (ADCs) are one of the key building blocks of state of the art wireless transceivers. In sigma-delta modulator design...
FGCS
2008
13 years 9 months ago
2008
Many scientific and engineering applications involve inverting large matrices or solving systems of linear algebraic equations. Solving these problems with proven algorithms for d...
ICGA
2008
13 years 9 months ago
2008
Recently, Monte-Carlo Tree Search (MCTS) has become a popular approach for intelligent play in games. Amongst others, it is successfully used in most state-of-the-art Go programs....