7335 search results - page 221 / 1467 » Scene Based Reasoning |
122
click to vote
AH
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...
119
click to vote
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
138
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
127
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
143
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...