4209 search results - page 98 / 842 » Abstract Dialectical Frameworks |
130
Voted
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
162
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
154
Voted
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
155
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
162
click to vote
GCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, a new Grid security framework based on dynamic access control is introduced to address some security problem in Grid. Based on the dynamic evaluating resul...