2607 search results - page 260 / 522 » Complete Functional Synthesis |
129
Voted
ACL
1998
15 years 5 months ago
1998
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
138
click to vote
UAI
2003
15 years 5 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
168
click to vote
CASC
2009
Springer
15 years 5 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
109
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Sequences and structures provide valuable complementary information on protein features and functions. However, it is not always straightforward for users to gather in...
105
click to vote
CSDA
2008
15 years 4 months ago
2008
We present a semi-parametric method for testing mixing distributions in the mixed Poisson model. The proposed method, which is based on the generalized method of moments, does not...