Sciweavers

6040 search results - page 361 / 1208
» Generating Instance Models from Meta Models
Sort
View
DEXAW
2003
IEEE
168views Database» more  DEXAW 2003»
16 years 17 hour ago
Visualisation of (Distributed) Process Execution based on Extended BPMN
In order to create, share and improve knowledge on business processes, humans need a common, readable and preferably visual notation. So far, a lot of effort has been put into vis...
Mariusz Momotko, Bartosz Nowicki
FMCAD
2007
Springer
15 years 10 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
3DPVT
2006
IEEE
178views Visualization» more  3DPVT 2006»
15 years 10 months ago
Shape Analysis and Spatio-Temporal Tracking of Mesoscale Eddies in Miami Isopycnic Coordinate Ocean Model
Detection and analysis of ocean surface phenomena have so far relied on manual analysis of long sequences of satellite images or images produced from the mathematical models. In t...
Veena Moolani, Ramprasad Balasubramanian, Li Shen,...
IJCBDD
2011
112views more  IJCBDD 2011»
15 years 1 months ago
A novel network model identified a 13-gene lung cancer prognostic signature
: This study presents a novel network methodology to identify prognostic gene signatures. Implication networks based on prediction logic are used to construct genome-wide coexpress...
Nancy Lan Guo, Ying-Wooi Wan, Swetha Bose, James D...
135
Voted
INTERSPEECH
2010
15 years 1 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...