2266 search results - page 346 / 454 » Generalizing parametric timing analysis |
109
Voted
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
106
click to vote
EGH
2004
Springer
15 years 4 months ago
2004
Springer
Utilizing graphics hardware for general purpose numerical computations has become a topic of considerable interest. The implementation of streaming algorithms, typified by highly ...
109
click to vote
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
We present a static index pruning method, to be used in ad-hoc document retrieval tasks, that follows a documentcentric approach to decide whether a posting for a given term shoul...
CLEF
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
116
Voted
COLT
2006
Springer
15 years 4 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...