2646 search results - page 58 / 530 » Local Type Inference |
KR
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
106
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
The problem of multiple sequence alignment is one of the most important problems in computational biology. In this paper we present a new method that simultaneously performs multi...
107
click to vote
ACL
2008
15 years 2 months ago
2008
Conventional n-best reranking techniques often suffer from the limited scope of the nbest list, which rules out many potentially good alternatives. We instead propose forest reran...
109
click to vote
NIPS
2003
15 years 1 months ago
2003
We consider the general problem of learning from labeled and unlabeled data, which is often called semi-supervised learning or transductive inference. A principled approach to sem...
115
Voted
CSB
2003
IEEE
15 years 5 months ago
2003
IEEE
Distinct, local structures are frequently correlated with functional RNA elements involved in posttranscriptional regulation of gene expression. Discovery of microRNAs (miRNAs) su...