4212 search results - page 674 / 843 » On Compressible Pairings and Their Computation |
191
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
291
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
194
click to vote
ACCV
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a new action recognition approach based on local spatio-temporal features. The main contributions of our approach are twofold. First, a new local spatio-tempora...
180
click to vote
ACL
2009
15 years 4 months ago
2009
Recent work on temporal relation identification has focused on three types of relations between events: temporal relations between an event and a time expression, between a pair o...
164
click to vote
ACL
2009
15 years 4 months ago
2009
Minimum Error Rate Training (MERT) and Minimum Bayes-Risk (MBR) decoding are used in most current state-of-theart Statistical Machine Translation (SMT) systems. The algorithms wer...