1153 search results - page 123 / 231 » The Complexity of Revision, Revised |
168
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
150
click to vote
FDTC
2006
Springer
15 years 9 months ago
2006
Springer
We present a new type of fault attacks on elliptic curve scalar multiplications: Sign Change Attacks. These attacks exploit different number representations as they are often emplo...
169
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
We propose a new approach to generating the motion of humanoid robots intuitively by means of Interactive Evolutionary Computation (IEC). In our system, novice users are able to d...
154
click to vote
ICDE
2000
IEEE
15 years 9 months ago
2000
IEEE
Commercial databases support different isolation levels to allow programmers to trade off consistency for a potential gain in performance. The isolation levels are defined in the ...
197
click to vote
JELIA
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...