29082 search results - page 323 / 5817 » The Time-Triggered Model of Computation |
192
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
We present a continuous time/discrete space model of biofilm growth, starting from the semi-discrete master equation. The probabilities of biomass movement into neighboring sites d...
178
click to vote
ACL
2010
15 years 4 months ago
2010
Lexicalized reordering models play a crucial role in phrase-based translation systems. They are usually learned from the word-aligned bilingual corpus by examining the reordering ...
188
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
We propose a novel variational formulation for generating 3D models of objects from a single view. Based on a few user scribbles in an image, the algorithm automatically extracts t...
214
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
311
click to vote
CISIS
2011
IEEE
14 years 6 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...