2107 search results - page 183 / 422 » Computing Small Search Numbers in Linear Time |
145
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
139
click to vote
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
We evaluate response times, in N-user collaborations, of the popular centralized (client-server) and replicated (peer-to-peer) architectures, and a hybrid architecture in which ea...
149
click to vote
ACL
2012
13 years 6 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...
175
click to vote
STOC
2010
ACM
15 years 8 months ago
2010
ACM
Consider the following two-player communication process to decide a language L: The first player holds the entire input x but is polynomially bounded; the second player is computa...
135
click to vote
SIAMSC
2010
15 years 2 months ago
2010
In this paper we extend the micro-macro decomposition based asymptotic-preserving scheme developed in [3] for the single species Boltzmann equation to the multispecies problems. A...