1469 search results - page 202 / 294 » Discretization of a Continuous Curve |
196
click to vote
REX
1991
15 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
136
click to vote
AIPS
2007
15 years 8 months ago
2007
We present an any-time concurrent probabilistic temporal planner that includes continuous and discrete uncertainties and metric functions. Our approach is a direct policy search t...
169
click to vote
WSC
2007
15 years 8 months ago
2007
We present a hybrid model of the interactions within (multiple-species) populations of bacteria in a developing biofilm which integrates continuum models of population processes ...
151
click to vote
WSC
2007
15 years 8 months ago
2007
The Cross-Entropy (CE) method is a modern and effective optimization method well suited to parallel implementations. There is a vast array of problems today, some of which are hig...
169
click to vote
WSC
2008
15 years 8 months ago
2008
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...