11219 search results - page 456 / 2244 » Retroactive data structures |
204
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...
172
click to vote
WIA
2000
Springer
15 years 10 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...
194
click to vote
ENTCS
2006
15 years 6 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...
179
click to vote
COMGEO
2004
ACM
15 years 6 months ago
2004
ACM
We design a kinetic data structure for detecting collisions between two simple polygons in motion. In order to do so, we create a planar subdivision of the free space between the ...
186
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...