1007 search results - page 184 / 202 » The Complexity of Futile Questioning |
105
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
105
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
128
Voted
SISW
2003
IEEE
15 years 6 months ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
124
Voted
DIALM
2003
ACM
15 years 6 months ago
2003
ACM
We study topology control problems in ad hoc networks, where network nodes get to choose their power levels in order to ensure desired connectivity properties. Unlike most other w...
108
click to vote
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
We deal with computational assumptions needed in order to design secure cryptographic schemes. We suggest a classi£cation of such assumptions based on the complexity of falsifying...