886 search results - page 33 / 178 » Reasoning with contextual graphs |
100
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Linked open data offers a set of design patterns and conventions for sharing data across the semantic web. In this position paper we enumerate some key uncertainty representation i...
106
click to vote
ITS
2000
Springer
15 years 5 months ago
2000
Springer
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
109
click to vote
CASCON
2000
15 years 3 months ago
2000
This paper describes a multi-perspective software visualization environment, SHriMP, which combines single view and multi-view techniques to support software exploration at both t...
114
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
127
click to vote
CINQ
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...