2333 search results - page 223 / 467 » Recursive Computational Depth |
193
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems ...
160
click to vote
ICMCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Most methods for multiple object tracking in video represent the state of multi-objects in a high dimensional joint state space. This leads to high computational complexity. This ...
151
click to vote
CIE
2007
Springer
16 years 20 days ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
173
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
152
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...