883 search results - page 8 / 177 » The Semantics of Verilog Using Transition System Combinators |
MM
2005
ACM
14 years 1 months ago
2005
ACM
In this paper we introduce a probabilistic framework to exploit hierarchy, structure sharing and duration information for topic transition detection in videos. Our probabilistic d...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
LICS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
2010
Eurographics
Realistic animation and rendering of the ocean is an important aspect for simulators, movies and video games. By nature, the ocean is a difficult problem for Computer Graphics: i...
SIGGRAPH
1996
ACM
13 years 12 months ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...