5964 search results - page 392 / 1193 » A theory of speculative computation |
239
click to vote
ACMDIS
2008
ACM
15 years 9 months ago
2008
ACM
Distributed teams are increasingly common in today's workplace. For these teams, face-to-face meetings where members can most easily build trust are rare and often cost-prohi...
231
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
Most network intruders tend to use stepping-stones to attack or to invade other hosts to reduce the risks of being discovered. There have been many approaches that were proposed t...
202
click to vote
AAAI
2006
15 years 9 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
177
click to vote
AAAI
2006
15 years 9 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...
202
Voted
DAGSTUHL
2006
15 years 9 months ago
2006
We show that Kolmogorov complexity and such its estimators as universal codes (or data compression methods) can be applied for hypothesis testing in a framework of classical mathe...