130 search results - page 14 / 26 » Verification of recursive methods on tree-like data structur... |
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
CGF
2010
13 years 7 months ago
2010
Geometry processing applications frequently rely on octree structures, since they provide simple and efficient hierarchies for discrete data. However, octrees do not guarantee dire...
PAMI
2006
13 years 7 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
ICDM
2003
IEEE
14 years 25 days ago
2003
IEEE
In this paper, we propose a novel technique for the efficient prediction of multiple continuous target variables from high-dimensional and heterogeneous data sets using a hierarch...