1653 search results - page 119 / 331 » Directed tree-width examples |
121
click to vote
AGP
1995
IEEE
15 years 5 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
107
click to vote
SSPR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Recently, a number of authors have explored the use of recursive recursive neural nets (RNN) for the adaptive processing of trees or tree-like structures. One of the most...
135
click to vote
AAAI
2007
15 years 4 months ago
2007
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
103
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper discusses the application of distributed constraint optimization to coordination in disaster management situations under sub-optimal network conditions. It presents an ...
112
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...