130 search results - page 14 / 26 » Verification of recursive methods on tree-like data structur... |
112
Voted
AOSD
2010
ACM
15 years 7 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...
89
Voted
CGF
2010
15 years 24 days 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...
129
click to vote
PAMI
2006
15 years 19 days 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...
121
Voted
CADE
2003
Springer
16 years 1 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...
106
Voted
ICDM
2003
IEEE
15 years 6 months 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...