Sciweavers

1005 search results - page 70 / 201
» Temporal Structures
Sort
View
LICS
2003
IEEE
15 years 3 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan
ICIP
2007
IEEE
15 years 4 months ago
Joint Optimization of Transform Coefficients for Hierarchical B Picture Coding in H.264/AVC
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...
Martin Winken, Heiko Schwarz, Detlev Marpe, Thomas...
COST
2010
Springer
157views Multimedia» more  COST 2010»
14 years 5 months ago
Adaptation in Turn-Initiations
This study investigates the variability in the temporal alignment of turn initiations and its relationship to the entrainment and power structure between the interlocutors. The dat...
Stefan Benus
TACS
2001
Springer
15 years 2 months ago
A Spatial Logic for Concurrency
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
Luís Caires, Luca Cardelli
NIPS
1996
14 years 11 months ago
Why did TD-Gammon Work?
Although TD-Gammon is one of the major successes in machine learning, it has not led to similar impressive breakthroughs in temporal difference learning for other applications or ...
Jordan B. Pollack, Alan D. Blair