6020 search results - page 900 / 1204 » A New Approach to Model Counting |
156
click to vote
EDBT
2008
ACM
15 years 8 months ago
2008
ACM
New graph structures where node labels are members of hierarchically organized ontologies or taxonomies have become commonplace in different domains, e.g., life sciences. It is a ...
225
click to vote
BIOSIG
2008
15 years 8 months ago
2008
: Biometric data have been integrated in all new European passports, since the member states of the European Commission started to implement the EU Council Regulation No 2252/2004 ...
177
click to vote
LREC
2010
15 years 8 months ago
2010
We present the methodology that underlies new metrics for semantic machine translation evaluation that we are developing. Unlike widely-used lexical and n-gram based MT evaluation...
192
click to vote
CSREASAM
2008
15 years 8 months ago
2008
Biometric data have been integrated in all new European passports, since the member states of the European Commission started to implement the EU Council Regulation No 2252/2004 on...
184
click to vote
NIPS
2008
15 years 8 months ago
2008
It has been shown that the problem of 1-penalized least-square regression commonly referred to as the Lasso or Basis Pursuit DeNoising leads to solutions that are sparse and there...