1456 search results - page 98 / 292 » Two Techniques to Improve Finite Model Search |
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
Metasearch engines submit the user query to several underlying search engines and then merge their retrieved results to generate a single list that is more effective to the users&...
IAJIT
2011
13 years 2 months ago
2011
: This article describes a multilayer model-based approach for text compression. It uses linguistic information to develop a multilayer decomposition model of the text in order to ...
BMCBI
2011
13 years 3 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...
IPTPS
2005
Springer
14 years 1 months ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...