Sciweavers

1133 search results - page 46 / 227
» Decision Support Systems Using Hybrid Neurocomputing
Sort
View
KBSE
2010
IEEE
13 years 7 months ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo
IWMM
2009
Springer
114views Hardware» more  IWMM 2009»
14 years 3 months ago
Scalable support for multithreaded applications on dynamic binary instrumentation systems
Dynamic binary instrumentation systems are used to inject or modify arbitrary instructions in existing binary applications; several such systems have been developed over the past ...
Kim M. Hazelwood, Greg Lueck, Robert Cohn
CIMCA
2008
IEEE
14 years 3 months ago
Novel Cardiac Risk Factor Stratification Using Neuro-fuzzy Tool
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
Elahe Yargholi, Saman Parvaneh
HYBRID
2010
Springer
13 years 6 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
SIGMOD
2011
ACM
250views Database» more  SIGMOD 2011»
12 years 11 months ago
Hybrid in-database inference for declarative information extraction
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
Daisy Zhe Wang, Michael J. Franklin, Minos N. Garo...