2345 search results - page 400 / 469 » Comparing sequence scaffolds |
131
Voted
QEST
2010
IEEE
15 years 10 days ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
170
Voted
QEST
2010
IEEE
15 years 10 days ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
110
click to vote
UIST
2010
ACM
15 years 9 days ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
123
click to vote
WINE
2010
Springer
15 years 9 days ago
2010
Springer
We design algorithms for computing approximately revenue-maximizing sequential postedpricing mechanisms (SPM) in K-unit auctions, in a standard Bayesian model. A seller has K copi...
159
Voted
GECCO
2009
Springer
15 years 7 days ago
2009
Springer
The generation of robot controllers for a task requiring a sequence of elementary behaviors is still a challenge. If these behaviors are known, intermediate steps can be given to ...