2632 search results - page 439 / 527 » Alternating Timed Automata |
119
Voted
DAC
2011
ACM
14 years 1 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...
111
click to vote
SBP
2012
Springer
13 years 9 months ago
2012
Springer
In disasters such as the earthquake in Haiti and the tsunami in Japan, people used social media to ask for help or report injuries. The popularity, efficiency, and ease of use of s...
118
click to vote
WSDM
2012
ACM
13 years 9 months ago
2012
ACM
Given a database with missing or uncertain content, our goal is to correct and fill the database by extracting specific information from a large corpus such as the Web, and to d...
249
click to vote
JMLR
2012
13 years 4 months ago
2012
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
113
Voted
STACS
2010
Springer
15 years 8 months ago
2010
Springer
In 2000 Alber et al. [SWAT 2000 ] obtained the first parameterized subexponential algorithm on undirected planar graphs by showing that k-DOMINATING SET is solvable in time 2O( ...