2438 search results - page 297 / 488 » Consistent Gradient Operators |
160
click to vote
AMSTERDAM
2009
15 years 7 days ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
122
click to vote
TSMC
2010
14 years 9 months ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
147
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
143
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Modern enterprise, web, and multimedia applications are generating unstructured content at unforeseen volumes in the form of documents, texts, and media files. Such content is gen...
152
click to vote
DSN
2011
IEEE
14 years 2 months ago
2011
IEEE
—Aggressive technology scaling causes chip multiprocessors increasingly error-prone. Core-level faulttolerant approaches bind two cores to implement redundant execution and error...