5165 search results - page 147 / 1033 » Consistency of the Neighbor-Net Algorithm |
128
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
158
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
153
click to vote
IJCAI
2003
15 years 6 months ago
2003
We present an algorithm Pref-AC that limits arc consistency (AC) to the preferred choices of a tree search procedure and that makes constraint solving more efficient without chan...
151
click to vote
TIP
1998
15 years 4 months ago
1998
— The design of the optimal codebook for a given codebook size and input source is a challenging puzzle that remains to be solved. The key problem in optimal codebook design is h...
155
click to vote
PVLDB
2008
15 years 4 months ago
2008
Many search engines and other web applications suggest auto-completions as the user types in a query. The suggestions are generated from hidden underlying databases, such as query...