2701 search results - page 313 / 541 » On the form of witness terms |
158
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
173
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
155
Voted
JCDL
2010
ACM
15 years 11 months ago
2010
ACM
The question of citation behavior has always intrigued scientists from various disciplines. While general citation patterns have been widely studied in the literature we develop t...
190
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
There is an increasing need for Internet hosts to be able to quickly and efficiently learn the distance, in terms of metrics such as latency or bandwidth, between Internet hosts. ...
171
click to vote
CRYPTO
1999
Springer
15 years 11 months ago
1999
Springer
We prove the equivalence of two definitions of non-malleable encryption appearing in the literature— the original one of Dolev, Dwork and Naor and the later one of Bellare, Desa...