Sciweavers

3047 search results - page 272 / 610
» A Temporal Consensus Model
Sort
View
TOPNOC
2008
15 years 6 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
CORR
2000
Springer
103views Education» more  CORR 2000»
15 years 6 months ago
Towards a query language for annotation graphs
The multidimensional, heterogeneous, and temporal nature of speech databases raises interesting challenges for representation and query. Recently, annotation graphs have been prop...
Steven Bird, Peter Buneman, Wang Chiew Tan
JAPLL
2007
88views more  JAPLL 2007»
15 years 6 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
WSC
1996
15 years 8 months ago
Scalable simulation models for construction operations
Construction operations are often repetitive not only in terms of time (the same tasks are performed over and over) but also in terms of space (the same tasks are repeated at seve...
Photios G. Ioannou, Julio C. Martínez
ICIP
2001
IEEE
16 years 8 months ago
Rate-distortion optimized video coding considering frameskip
The general problem of optimized video encoding has received a great deal of attention in recent years. This paper focuses on the optimization of video coding with frameskip. We p...
Anthony Vetro, Huifang Sun, Yao Wang