Sciweavers

3771 search results - page 328 / 755
» Process modeling for future technologies
Sort
View
137
Voted
IADIS
2003
15 years 6 months ago
Quality Assurance in Teaching English
The issue of quality assurance has been on the agenda of distance and open teachinguniversities for many years. In such a context, the development of high quality study materials ...
Mahmoud Alimohammadi
ICDM
2010
IEEE
99views Data Mining» more  ICDM 2010»
15 years 2 months ago
A System for Mining Temporal Physiological Data Streams for Advanced Prognostic Decision Support
We present a mining system that can predict the future health status of the patient using the temporal trajectories of health status of a set of similar patients. The main noveltie...
Jimeng Sun, Daby Sow, Jianying Hu, Shahram Ebadoll...
ICASSP
2011
IEEE
14 years 8 months ago
Fast estimation of the state of the power grid using synchronized phasor measurements
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...
Tao Yang, Anjan Bose
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 10 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
ICCAD
2005
IEEE
133views Hardware» more  ICCAD 2005»
16 years 1 months ago
Gate sizing using incremental parameterized statistical timing analysis
— As technology scales into the sub-90nm domain, manufacturing variations become an increasingly significant portion of circuit delay. As a result, delays must be modeled as sta...
Matthew R. Guthaus, Natesan Venkateswaran, Chandu ...