Sciweavers

3047 search results - page 384 / 610
» A Temporal Consensus Model
Sort
View
CSL
2006
Springer
15 years 6 months ago
Automata and Logics for Words and Trees over an Infinite Alphabet
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
Luc Segoufin
ENTCS
2006
143views more  ENTCS 2006»
15 years 6 months ago
Component-Oriented Specification of Performance Measures
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
Alessandro Aldini, Marco Bernardo
IJON
2002
79views more  IJON 2002»
15 years 6 months ago
Capacity of perirhinal cortex network for recognising frequently repeating stimuli
Much evidence indicates that discrimination of the familiarity of visual stimuli is dependent on the perirhinal cortex of the temporal lobe. A stimulus can become familiar to anim...
Rafal Bogacz, Malcolm W. Brown
INTERSPEECH
2010
15 years 1 months ago
Prosodic timing analysis for articulatory re-synthesis using a bank of resonators with an adaptive oscillator
A method for the analysis of prosodic-level temporal structure is introduced. The method is based on measured phase angles of an oscillator as that oscillator is made to synchroni...
Michael C. Brady
JAPLL
2010
85views more  JAPLL 2010»
15 years 1 months ago
Hybrid logic with the difference modality for generalisations of graphs
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
Robert S. R. Myers, Dirk Pattinson