1419 search results - page 94 / 284 » Notes on Formalizing Context |
119
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
KR
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
89
Voted
PAMI
2007
15 years 6 days ago
2007
—We formalize the notion of style context, which accounts for the increased accuracy of the field classifiers reported in this journal recently. We argue that style context forms...
95
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...