Sciweavers

13734 search results - page 179 / 2747
» Abstractions of data types
Sort
View
LREC
2008
111views Education» more  LREC 2008»
15 years 5 months ago
Annotation of Information Structure: an Evaluation across different Types of Texts
We report on the evaluation of information structural annotation according to the Linguistic Information Structure Annotation Guidelines (LISA, (Dipper et al., 2007)). The annotat...
Julia Ritz, Stefanie Dipper, Michael Götze
SCL
2008
75views more  SCL 2008»
15 years 4 months ago
Stabilization of a Boussinesq system of KdV-KdV type
A family of Boussinesq systems has recently been proposed by J. L. Bona, M. Chen, and J.-C. Saut in [2] to describe the two-way propagation of small amplitude gravity waves on the ...
Ademir F. Pazoto, Lionel Rosier
ICFP
2006
ACM
16 years 4 months ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...
CSB
2004
IEEE
152views Bioinformatics» more  CSB 2004»
15 years 8 months ago
EcMLST: An Online Database for Multi Locus Sequence Typing of Pathogenic Escherichia coli
In order to provide a portable and accurate typing system for the unambiguous characterization of pathogenic Escherichia coli isolates to the scientific community, we have constru...
Weihong Qi, David W. Lacher, Alyssa C. Bumbaugh, K...
BMCBI
2004
139views more  BMCBI 2004»
15 years 4 months ago
mlstdbNet - distributed multi-locus sequence typing (MLST) databases
Background: Multi-locus sequence typing (MLST) is a method of typing that facilitates the discrimination of microbial isolates by comparing the sequences of housekeeping gene frag...
Keith A. Jolley, Man-Suen Chan, Martin C. J. Maide...