28 search results - page 1 / 6 » Accelerating Smart Play-Out |
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
TACAS
2007
Springer
14 years 5 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
BIRTHDAY
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The National Institute of Standards and Technology (NIST) has efforts underway to accelerate the international development of interoperability standards to support the future mode...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...