6800 search results - page 710 / 1360 » Testing with Functions as Specifications |
201
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Entrez Gene (EG), Online Mendelian Inheritance in Man (OMIM) and the Gene Ontology (GO) are three complementary knowledge resources that can be used to correlate genomic data with...
170
click to vote
ACL
2006
15 years 8 months ago
2006
This paper proposes a framework for training Conditional Random Fields (CRFs) to optimize multivariate evaluation measures, including non-linear measures such as F-score. Our prop...
180
click to vote
ACL
2006
15 years 8 months ago
2006
This paper presents a novel training algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the global scoring...
191
click to vote
AIPS
2006
15 years 8 months ago
2006
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
166
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...