Sciweavers

107 search results - page 14 / 22
» Fine-Grained Analysis of Change Couplings
Sort
View
CAISE
2006
Springer
13 years 11 months ago
Compliant and Flexible Business Processes with Business Rules
When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding polici...
Stijn Goedertier, Jan Vanthienen
IJON
2007
91views more  IJON 2007»
13 years 7 months ago
Dynamics of parameters of neurophysiological models from phenomenological EEG modeling
We investigate a recently proposed method for the analysis of oscillatory patterns in EEG data, with respect to its capacity of further quantifying processes on slower (< 1 Hz)...
E. Olbrich, Thomas Wennekers
NAR
2007
155views more  NAR 2007»
13 years 7 months ago
Influenza Virus Database (IVDB): an integrated information resource and analysis platform for influenza virus research
Frequent outbreaks of highly pathogenic avian influenza and the increasing data available for comparative analysis require a central database specialized in influenza viruses (IVs...
Suhua Chang, Jiajie Zhang, Xiaoyun Liao, Xinxing Z...
ICDM
2009
IEEE
162views Data Mining» more  ICDM 2009»
13 years 5 months ago
The Flexible Climate Data Analysis Tools (CDAT) for Multi-model Climate Simulation Data
Being able to incorporate, inspect, and analyze data with newly developed technologies, diagnostics, and visualizations in an easy and flexible way has been a longstanding challen...
Dean N. Williams, Charles M. Doutriaux, Robert S. ...
FMCAD
2000
Springer
13 years 11 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...