Sciweavers

2237 search results - page 135 / 448
» Advanced Prosody Modelling
Sort
View
GAMEON
2003
15 years 6 months ago
Multi-Agent Based Modelling: from Social Simulation to Real Time Strategy Games
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
Marco Remondino
ICASSP
2010
IEEE
15 years 5 months ago
Simulating dynamic communication systems using the core functional dataflow model
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
Nimish Sane, Chia-Jui Hsu, José Luis Pino, ...
FMICS
2010
Springer
15 years 5 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
CPHYSICS
2008
80views more  CPHYSICS 2008»
15 years 5 months ago
Fast clear-sky solar irradiation computation for very large digital elevation models
This paper presents a fast algorithm to compute the global clear-sky irradiation, appropriate for extended high-resolution Digital Elevation Models (DEMs). The latest equations pu...
Luis F. Romero, Siham Tabik, Jesús M. V&iac...
CANDC
2007
ACM
15 years 4 months ago
Chromosome segregation in Escherichia coli division: A free energy-driven string model
Although the mechanisms of eukaryotic chromosome segregation and cell division have been elucidated to a certain extent, those for bacteria remain largely unknown. Here we present...
Jianmiao Fan, Kagan Tuncay, Peter J. Ortoleva