1192 search results - page 138 / 239 » Symbolic Query Exploration |
169
click to vote
TMM
2010
14 years 10 months ago
2010
This paper describes a novel method for browsing a large video collection. It links various forms of related video fragments together as threads. These threads are based on query r...
302
click to vote
AAI
2011
14 years 7 months ago
2011
We compare different strategies to apply statistical machine translation techniques in order to retrieve documents which are a plausible translation of a given source document. Fi...
128
Voted
MEMBRANE
2009
Springer
15 years 9 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
110
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
143
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...