392 search results - page 29 / 79 » Negation as Partial Failure |
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
ICLP
1994
Springer
13 years 11 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
AIED
2009
Springer
13 years 11 months ago
2009
Springer
We explored the complex interplay between students' affective states and problem solving outcomes. We conducted a study where 41 students solved 28 analytical reasoning proble...
ISLPED
2007
ACM
13 years 9 months ago
2007
ACM
Negative bias temperature instability (NBTI) has become a dominant reliability concern for nanoscale PMOS transistors. In this paper, we propose variable-latency adder (VL-adder) ...
SEC
2001
13 years 9 months ago
2001
Abstract Traditionally, research in secure group key agreement focuses on minimizing the computational overhead for cryptographic operations, and minimizing the communication overh...