5180 search results - page 843 / 1036 » Concurrency, Time, and Constraints |
310
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
180
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Mobile phones are becoming increasingly personalized in terms of the data they store and the types of services they provide. At the same time, field studies have reported that the...
192
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
We consider information-theoretic key agreement between two parties sharing somewhat different versions of a secret w that has relatively little entropy. Such key agreement, also ...
198
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
In many multiclass learning scenarios, the number of classes is relatively large (thousands,...), or the space and time efficiency of the learning system can be crucial. We invest...
167
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Detection of near duplicate documents is an important problem in many data mining and information filtering applications. When faced with massive quantities of data, traditional d...