20126 search results - page 92 / 4026 » Timed Transition Systems |
200
click to vote
ACL
2010
15 years 1 months ago
2010
Finding a class of structures that is rich enough for adequate linguistic representation yet restricted enough for efficient computational processing is an important problem for d...
132
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...
124
click to vote
GEOINFO
2004
15 years 4 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
146
click to vote
TMM
2010
14 years 10 months ago
2010
A framework is presented which addresses the issues related to the real-time implementation of synchronized video and audio time-scale and pitch-scale modification algorithms. It a...
124
click to vote
CAV
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...