4209 search results - page 502 / 842 » Abstract Dialectical Frameworks |
155
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
136
click to vote
DIS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. It is an up-to-date challenge to get answers for novel questions which nobody has ever considered. Such a question is too rare to be satisfied with a past single documen...
121
click to vote
EPIA
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper presents a formal framework within which autonomous agents can dynamically select and apply different mechanisms to coordinate their interactions with one ano...
126
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
128
Voted
LSSC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...