Sciweavers

117 search results - page 21 / 24
» Interactive physically-based manipulation of discrete contin...
Sort
View
APBC
2004
122views Bioinformatics» more  APBC 2004»
15 years 1 months ago
Integrating Biopathway Databases for Large-scale Modeling and Simulation
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...
Masao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Sato...
FMSD
2010
118views more  FMSD 2010»
14 years 10 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
CORR
2004
Springer
195views Education» more  CORR 2004»
14 years 11 months ago
Detecting User Engagement in Everyday Conversations
This paper presents a novel application of speech emotion recognition: estimation of the level of conversational engagement between users of a voice communication system. We begin...
Chen Yu, Paul M. Aoki, Allison Woodruff
EDOC
2003
IEEE
15 years 5 months ago
A Software Architecture for Industrial Automation
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
Rodrigo García García, Esther Gelle,...
KI
2010
Springer
14 years 6 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer