6020 search results - page 208 / 1204 » A New Approach to Model Counting |
150
click to vote
NAACL
2007
15 years 6 months ago
2007
We describe a new pruning approach to remove phrase pairs from translation models of statistical machine translation systems. The approach applies the original translation system ...
132
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
142
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The regulation of gene expression is achieved through gene regulatory networks (GRNs) in which collections of genes interact with one another and other substances in a...
153
click to vote
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
138
click to vote
FOCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this work we study a wide range of online and offline routing and packing problems with various objectives. We provide a unified approach, based on a clean primal-dual method...