Sciweavers

3016 search results - page 324 / 604
» On Information Organization in Annotation Systems
Sort
View
PSB
2010
15 years 4 months ago
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
Luis Tari, Saadat Anwar, Shanshan Liang, Jörg...
TITB
2011
113views more  TITB 2011»
15 years 1 months ago
Intensive Care Window: Real-Time Monitoring and Analysis in the Intensive Care Environment
—This paper introduces a novel, open source software named Intensive Care Window, ICW. ICW enables communication with intensive care unit bedside installed medical devices over s...
Nikolas Stylianides, Marios D. Dikaiakos, K. Haral...
WWW
2005
ACM
16 years 7 months ago
Analyzing online discussion for marketing intelligence
We present a system that gathers and analyzes online discussion as it relates to consumer products. Weblogs and online message boards provide forums that record the voice of the p...
Natalie S. Glance, Matthew Hurst, Kamal Nigam, Mat...
KBSE
2008
IEEE
16 years 1 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 1 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh