1419 search results - page 15 / 284 » Notes on Formalizing Context |
103
click to vote
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
This paper discusses the dynamic of context through the use of a context-based formalism called contextual graphs that has been initially developed in the SART application for the ...
105
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
102
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
69
Voted
JCSS
2002
15 years 3 days ago
2002
Abstract. There do not exist context