505 search results - page 46 / 101 » Implementation of Belief Change Operators Using BDDs |
126
click to vote
ICS
2011
Tsinghua U.
14 years 1 months ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...
SRDS
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an empirical study of the resistance of several protocols to denial of service (DoS) attacks on client-server communication. We show that protocols that use authenticat...
90
Voted
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
CCR
2007
14 years 9 months ago
2007
Dynamic load balancing is a popular recent technique that protects ISP networks from sudden congestion caused by load spikes or link failures. Dynamic load balancing protocols, ho...
JAIR
2007
14 years 9 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...