Sciweavers

626 search results - page 11 / 126
» The Automatic Interpretation of Nominalizations
Sort
View
LREC
2008
166views Education» more  LREC 2008»
13 years 9 months ago
KnoFusius: a New Knowledge Fusion System for Interpretation of Gene Expression Data
This paper introduces a new architecture that aims at combining molecular biology data with information automatically extracted from scientific literature (using text mining techn...
Pavel Smrz
MIE
2008
109views Healthcare» more  MIE 2008»
13 years 9 months ago
Reconstructing Clinical Events by Interpreting NICU Monitoring Data
Several studies are reported in literature that use electronically recorded data for aiding decision support/reporting in the Neonatal Intensive Care Unit (NICU). In this PhD resea...
Feng Gao
ISHPC
2000
Springer
13 years 11 months ago
Automatic Generation of OpenMP Directives and Its Application to Computational Fluid Dynamics Codes
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
Haoqiang Jin, Michael A. Frumkin, Jerry C. Yan
SEFM
2007
IEEE
14 years 1 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
IPL
2010
134views more  IPL 2010»
13 years 4 months ago
Refining abstract interpretations
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...
Bhargav S. Gulavani, Supratik Chakraborty, Aditya ...