Sciweavers

7690 search results - page 1435 / 1538
» On the semantics of informational independence
Sort
View
BMCBI
2010
162views more  BMCBI 2010»
15 years 6 months ago
Moara: a Java library for extracting and normalizing gene and protein mentions
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...
Mariana L. Neves, José María Carazo,...
BMCBI
2010
98views more  BMCBI 2010»
15 years 6 months ago
Resolving anaphoras for the extraction of drug-drug interactions in pharmacological documents
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...
Isabel Segura-Bedmar, Mario Crespo, César d...
CACM
2010
179views more  CACM 2010»
15 years 6 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
CGF
2010
204views more  CGF 2010»
15 years 6 months ago
Automatic Animation for Time-Varying Data Visualization
This paper presents a digital storytelling approach that generates automatic animations for time-varying data visualization. Our approach simulates the composition and transition ...
Li Yu, Aidong Lu, William Ribarsky, Wei Chen
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 6 months ago
Expressiveness of Generic Process Shape Types
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
Jan Jakubuv, J. B. Wells
« Prev « First page 1435 / 1538 Last » Next »