6045 search results - page 983 / 1209 » Computable Linearizations of Well-partial-orderings |
188
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
165
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
184
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Human Desoxyribo-Nucleic Acid (DNA) sequences offer a wealth of information that reveal, among others, predisposition to various diseases and paternity relations. The breadth and...
152
click to vote
CPM
2007
Springer
16 years 23 days ago
2007
Springer
We consider the two-dimensional Range Minimum Query problem: for a static (m × n)-matrix of size N = mn which may be preprocessed, answer on-line queries of the form “where is t...
176
click to vote
ICS
2007
Tsinghua U.
16 years 22 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...