875 search results - page 126 / 175 » On Reachability Under Uncertainty |
110
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
In current research, the minimum cycle times of finite state machines are estimated by computing the delays of the combinational logic in the finite state machines. Even though th...
ASMTA
2008
Springer
15 years 1 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
101
click to vote
BPM
2008
Springer
15 years 1 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
LMCS
2007
14 years 11 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
127
click to vote
CVPR
2000
IEEE
2000
IEEE
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
16 years 1 months ago
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....