9405 search results - page 1014 / 1881 » Computing a Model of Set Theory |
201
click to vote
ENTCS
2008
15 years 7 months ago
2008
In Kahn process network (KPN), the processes (nodes) communicate by unbounded unidirectional FIFO channels (arcs), with the property of non-blocking writes and blocking reads on t...
159
click to vote
CG
2007
Springer
15 years 7 months ago
2007
Springer
We propose a new approach to capture the volumetric density of dynamic scattering media instantaneously with a single image. The volume is probed with a set of laser lines and the...
223
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
253
click to vote
KDD
2003
ACM
16 years 8 months ago
2003
ACM
Airlines routinely overbook flights based on the expectation that some fraction of booked passengers will not show for each flight. Accurate forecasts of the expected number of no...
217
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...