29082 search results - page 230 / 5817 » The Time-Triggered Model of Computation |
188
click to vote
CGF
2011
14 years 10 months ago
2011
In this paper, we present new solutions for the interactive modeling of city layouts that combine the power of procedural modeling with the flexibility of manual modeling. Proced...
168
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
We give the background and required tools for applying quasi-Monte Carlo methods efficiently to problems in computational finance, and survey recent developments in this field. W...
167
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
156
click to vote
AMC
2006
15 years 6 months ago
2006
The main purpose of this paper is quite uncontroversial. First, we recall some models of analog computations (including these allowed to perform Turing uncomputable tasks). Second...
150
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...