20294 search results - page 197 / 4059 » Algorithmic Information Theory |
186
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
147
Voted
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
124
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Graph drawing is one of the important techniques for understanding biological regulations in a cell or among cells at the pathway level. Among many available layout al...
133
Voted
IWC
2000
15 years 4 months ago
2000
Information visualisation systems which generate diagrams representing discrete relational information must consider potential users if they are to be effective. Many algorithms w...
139
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a practical palmprint recognition algorithm using two-dimensional (2D) phase information. The proposed algorithm (i) reduces the registered data size by regist...