9067 search results - page 561 / 1814 » Adaptive Model Checking |
207
click to vote
ICONIP
2008
15 years 8 months ago
2008
Mass spectrometry (MS) is a key technique for the analysis and identification of proteins. A prediction of spectrum peak intensities from pre computed molecular features would pave...
186
click to vote
WSC
2001
15 years 8 months ago
2001
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...
187
click to vote
NIPS
1993
15 years 8 months ago
1993
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...
144
click to vote
ESWA
2008
15 years 7 months ago
2008
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
169
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The multi-armed bandit is a concise model for the problem of iterated decision-making under uncertainty. In each round, a gambler must pull one of K arms of a slot machine, withou...