675 search results - page 13 / 135 » What Is New in Our City |
105
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
Graphs are an increasingly important data source, with such important graphs as the Internet and the Web. Other familiar graphs include CAD circuits, phone records, gene sequences...
112
click to vote
AAAI
2010
15 years 2 months ago
2010
With the increasing popularity of location tracking services such as GPS, more and more mobile data are being accumulated. Based on such data, a potentially useful service is to m...
85
Voted
CRYPTO
1998
Springer
15 years 5 months ago
1998
Springer
We introduce delegation schemes wherein a user may delegate certain rights to himself, but may not safely delegate these rights to others. In our motivating application, a user ha...
94
Voted
KI
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
88
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...