3907 search results - page 77 / 782 » Time, Knowledge, and Choice |
128
click to vote
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
116
click to vote
DGO
2004
15 years 5 months ago
2004
In this paper, we present an efficient algorithm which discovers rare episodes with a combination of bottomup and top-down scanning schema. The information sharing between bottom-...
122
click to vote
SIGECOM
2008
ACM
15 years 4 months ago
2008
ACM
Witkeys are a thriving type of web-based knowledge sharing market in China, supporting a form of crowdsourcing. In a Witkey site, users offer a small award for a solution to a tas...
169
click to vote
MMB
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. During development, processor architectures can be tuned and configured by many different parameters. For benchmarking, automatic design space explorations (DSEs) with h...
152
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...