Sciweavers

261 search results - page 25 / 53
» synthese 2010
Sort
View
ICTAI
2010
IEEE
13 years 5 months ago
Argumentation for Aggregating Clinical Evidence
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
Anthony Hunter, Matthew Williams
CDC
2010
IEEE
13 years 2 months ago
Synthesis using approximately bisimilar abstractions: time-optimal control problems
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
Antoine Girard
ENTCS
2007
119views more  ENTCS 2007»
13 years 7 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
IJISMD
2010
135views more  IJISMD 2010»
13 years 4 months ago
On the Usage of Labels and Icons in Business Process Modeling
The value of business process models is dependent not only on the choice of graphical elements in the model, but also on their annotation with additional textual and graphical inf...
Jan Mendling, Jan Recker, Hajo A. Reijers
INTERSPEECH
2010
13 years 2 months ago
Speech synthesis by modeling harmonics structure with multiple function
In this paper, we present a new approach for the speech synthesis, in which speech utterances are synthesized using the parameters of spectro-modeling function (Multiple function)...
Toru Nakashika, Ryuki Tachibana, Masafumi Nishimur...