886 search results - page 43 / 178 » Reasoning with contextual graphs |
289
click to vote
DLOG
2011
14 years 7 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
134
click to vote
CGVR
2008
15 years 5 months ago
2008
- A graph drawing algorithm for the Game of Sprouts is presented. The algorithm guarantees that the polylines that connect graph nodes are drawn smoothly and that they maintain rea...
121
click to vote
TPCTC
2010
Springer
15 years 1 months ago
2010
Springer
Graph Database Management systems (GDBs) are gaining popularity. They are used to analyze huge graph datasets that are naturally appearing in many application areas to model interr...
134
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we investigate condensation of a clause. First, we extend a substitution graph introduced by Scheffer et al. (1996) to a total matcher graph. Then, we give a correc...
121
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...