824 search results - page 127 / 165 » Structural Inference for Semistructured Data |
101
click to vote
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
141
click to vote
ESORICS
1998
Springer
15 years 7 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
127
click to vote
ICDAR
1997
IEEE
15 years 7 months ago
1997
IEEE
A document image analysis toolbox, including a collection of data structures and algorithms to suppbrt a variety of applications, is described in this paper. An experimental envir...
116
click to vote
AIMSA
2006
Springer
15 years 7 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
121
click to vote
BMVC
2002
15 years 5 months ago
2002
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...