852 search results - page 61 / 171 » Using graph parsing for automatic graph drawing |
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe a graph-based global registration method for creating 2D mosaic images. When multi-frames overlap in space, global registration is necessary to minimize the accumulate...
ENTCS
2007
14 years 10 months ago
2007
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...
ICAIL
2009
ACM
15 years 4 months ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Attack graphs are a valuable tool to network defenders, illustrating paths an attacker can use to gain access to a targeted network. Defenders can then focus their efforts on patc...
104
click to vote
ICCPOL
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...