606 search results - page 110 / 122 » Discrete Time Process Algebra |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
SIGMETRICS
1991
ACM
13 years 11 months ago
1991
ACM
Prior to this work, all implementations of stack simulation [MGS70] required more than linear time to process an address trace. In particular these implementations are often slow ...
WSC
2008
13 years 9 months ago
2008
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
CVPR
2005
IEEE
13 years 9 months ago
2005
IEEE
We address the normal reconstruction problem by photometric stereo using a uniform and dense set of photometric images captured at fixed viewpoint. Our method is robust to spurio...
CPAIOR
2008
Springer
13 years 9 months ago
2008
Springer
The one-step anticipatory algorithm (1s-AA) is an online algorithm making decisions under uncertainty by ignoring future non-anticipativity constraints. It makes near-optimal decis...