1420 search results - page 79 / 284 » Multi-point Constructive Search |
132
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
149
click to vote
ICDM
2002
IEEE
15 years 9 months ago
2002
IEEE
Previous works on automatic query clustering most generate a flat, un-nested partition of query terms. In this work, we are pursuing to organize query terms into a hierarchical s...
121
Voted
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
When using a constructive search algorithm, solutions to scheduling problems such as the job shop and open shop scheduling problems are typically represented as permutations of the...
118
Voted
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
Constraint Satisfaction Problems can be solved using either iterative improvement or constructive search approaches. Iterative improvement techniques converge quicker than the cons...
217
Voted
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
The indexing technique commonly used for long strings, such as genomes, is the suffix tree, which is based on a vertical (intra-path) compaction of the underlying trie structure. ...