Search Sciweavers | Sciweavers

29082 search results - page 372 / 5817

» The Time-Triggered Model of Computation

170

click to vote

ASM
2010
ASM

264views Computational Biology» more ASM 2010»

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

15 years 8 months ago

Download cs.unibg.it

Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...

claim paper

Read More »

155

click to vote

CIE
2008
Springer

97views Applied Computing» more CIE 2008»

Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion

15 years 8 months ago

Download mpra.ub.uni-muenchen.de

Gabriel Istrate, Madhav V. Marathe, S. S. Ravi

claim paper

Read More »

179

click to vote

ACII
2005
Springer

80views Applied Computing» more ACII 2005»

Intonation Modelling and Adaptation for Emotional Prosody Generation

15 years 8 months ago

Download www.dialog-21.ru

Zeynep Inanoglu, Steve Young

claim paper

Read More »

165

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

15 years 8 months ago

Download www.cs.man.ac.uk

Howard Barringer, David E. Rydeheard

claim paper

Read More »

140

click to vote

CONEXT
2008
ACM

88views Computer Networks» more CONEXT 2008»

Voronoi models for distributed virtual environments

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers