5336 search results - page 226 / 1068 » Steerable part models |
117
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
155
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
130
click to vote
AIPS
2008
15 years 6 months ago
2008
This document formalizes and discusses the implementation of a new, more efficient probabilistic plan recognition algorithm called Yet Another Probabilistic Plan Recognizer, (Yapp...
145
click to vote
WSC
2008
15 years 6 months ago
2008
This study observed the challenges of taking an existing facility's inpatient volumes and procedures and projecting them into a replacement facility with differently sized un...
127
click to vote
WSC
2008
15 years 6 months ago
2008
A simulation was commissioned to understand the interactions that constrain the capacity of a steel plant. The aim was for this to become a reusable tool that could evaluate the e...