309 search results - page 18 / 62 » his 2007 |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
KI
2007
Springer
14 years 1 months ago
2007
Springer
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
: Presented is a paradigm of how a design concept can be converted into a system of production rules to generate designs. The rules are expressed by the means of shape grammar form...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
VAMOS
2007
Springer
14 years 1 months ago
2007
Springer
Features have been recognized as important building blocks of software product lines. Unfortunately, features have been mostly confined to modeling activities as they were origina...