6018 search results - page 130 / 1204 » Factored Translation Models |
143
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative models for transcriptional regulation have shown great promise for advancing our understanding of the biological mechanisms underlying gene regulation. Ho...
158
click to vote
TCSV
2002
15 years 3 months ago
2002
Video query by semantic keywords is one of the most challenging research issues in video data management. To go beyond low-level similarity and access video data content by semanti...
170
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
151
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
137
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Distributing scarce resources among agents in a way that maximizes the social welfare of the group is a computationally hard problem when the value of a resource bundle is not lin...