3865 search results - page 153 / 773 » From Bidirectionality to Alternation |
168
Voted
POPL
2012
ACM
14 years 7 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
239
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...
140
click to vote
ICANNGA
2009
Springer
15 years 11 months ago
2009
Springer
A statistical generative model is presented as an alternative to negative selection in anomaly detection of string data. We extend the probabilistic approach to binary classificat...
117
click to vote
EACL
1993
ACL Anthology
15 years 6 months ago
1993
ACL Anthology
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
164
click to vote
BIBM
2009
IEEE
15 years 11 months ago
2009
IEEE
Background: In eukaryotes, alternative splicing often generates multiple splice variants from a single gene. Here weexplore the use of RNA sequencing (RNA-Seq) datasets to address...