1981 search results - page 298 / 397 » Model-Checking Hierarchical Structures |
CSR
2007
Springer
14 years 3 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
GMP
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper develops the manifold T-splines, which naturally extend the concept and the currently available algorithms/techniques of the popular planar tensor-product NURBS and T-sp...
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
SI3D
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we propose a new technique for hardware accelerated multi-resolution geometry synthesis. The level of detail for a given viewpoint is created on-the-fly, allowing f...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
Atlas-based segmentation has become a standard paradigm for exploiting prior knowledge in medical image segmentation. In this paper, we propose a method to exploit both the robust...