12289 search results - page 327 / 2458 » computing 2006 |
152
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
140
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
113
click to vote
AAAI
2007
15 years 7 months ago
2007
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
101
click to vote
AAAI
2006
15 years 6 months ago
2006
Starting in the fall of 2005 our department began a large-scale effort to incorporate hands-on robotics in many of our courses, including our introductory computer science sequenc...
151
Voted
COMMA
2006
15 years 6 months ago
2006
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...