6020 search results - page 49 / 1204 » A New Approach to Model Counting |
122
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...
111
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Network traffic modeling generally views traffic as a superposition of flows that creates a timeseries of volume counts (e.g. of bytes or packets). What is omitted from this view ...
ICIP
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper investigates a new approach for the personal recognition using rank level combination of multiple palmprint representations. There has been very little effort to study r...
123
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
ACL
2010
15 years 13 hour ago
2010
Several attempts have been made to learn phrase translation probabilities for phrasebased statistical machine translation that go beyond pure counting of phrases in word-aligned t...