11231 search results - page 450 / 2247 » Digging for Data Structures |
181
click to vote
CC
2003
Springer
16 years 26 days ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
225
click to vote
EUROPAR
2001
Springer
16 years 3 days ago
2001
Springer
We present a new result concerning the parallelisation of DBSCAN, a Data Mining algorithm for density-based spatial clustering. The overall structure of DBSCAN has been mapped to a...
226
click to vote
IDS
1994
15 years 11 months ago
1994
An experimental 3D interface to an object oriented database is described. It is hoped that using such techniques will help make complex data structures more comprehensible and eas...
184
click to vote
WIA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
219
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...