Sciweavers

1419 search results - page 24 / 284
» Notes on Formalizing Context
Sort
View
96
Voted
CONTEXT
2001
Springer
15 years 5 months ago
Practical Context Transformation for Information System Interoperability
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
Holger Wache, Heiner Stuckenschmidt
CONTEXT
1999
Springer
15 years 4 months ago
Contexts, Domains, and Software
We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...
Alfs T. Berztiss
CVPR
2006
IEEE
16 years 2 months ago
Context and Hierarchy in a Probabilistic Image Model
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
Ya Jin, Stuart Geman
105
Voted
ASP
2003
Springer
15 years 5 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
59
Voted
TCS
2002
15 years 3 days ago
An example of a computable absolutely normal number
The first example of an absolutely normal number was given by Sierpinski in 1916, twenty years before the concept of computability was formalized. In this note we give a recursive...
Verónica Becher, Santiago Figueira