Sciweavers

206 search results - page 17 / 42
» Deterministic Caterpillar Expressions
Sort
View
CMSB
2009
Springer
14 years 4 months ago
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
Ozgur E. Akman, Federica Ciocchetta, Andrea Degasp...
CHARME
2003
Springer
73views Hardware» more  CHARME 2003»
14 years 1 months ago
Towards Diagrammability and Efficiency in Event Sequence Languages
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
Kathi Fisler
DOOD
1991
Springer
107views Database» more  DOOD 1991»
14 years 1 months ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...
ICASSP
2010
IEEE
13 years 8 months ago
A HMM-based speech synthesis system using a new glottal source and vocal-tract separation method
This paper introduces a HMM-based speech synthesis system which uses a new method for the Separation of Vocal-tract and LiljencrantsFant model plus Noise (SVLN). The glottal sourc...
Pierre Lanchantin, Gilles Degottex, Xavier Rodet
CORR
2011
Springer
163views Education» more  CORR 2011»
13 years 4 months ago
Statistical Analysis of Link Scheduling on Long Paths
We study how the choice of packet scheduling algorithms influences end-to-end performance on long network paths. Taking a network calculus approach, we consider both deterministi...
Yashar Ghiassi-Farrokhfal, Jörg Liebeherr, Al...