2214 search results - page 133 / 443 » Complexity of Reasoning |
140
click to vote
DAIS
2009
15 years 1 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
134
Voted
CBMS
2007
IEEE
15 years 9 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
166
click to vote
AIMDM
1999
Springer
15 years 7 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
125
click to vote
FMSD
2002
15 years 3 months ago
2002
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
108
click to vote
PQCRYPTO
2010
15 years 7 months ago
2010
The best known non-structural attacks against code-based cryptosystems are based on information-set decoding. Stern’s algorithm and its improvements are well optimized and the co...