2335 search results - page 293 / 467 » Type Checking Type Classes |
108
Voted
DOOD
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
97
Voted
ICANN
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. The recurrent associative memory networks with complexvalued Hebbian matrices of connections are designed from interacting limitcycle oscillators. These oscillatory netwo...
85
Voted
ICDE
1993
IEEE
15 years 4 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
97
Voted
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
82
Voted
SIGGRAPH
1994
ACM
15 years 4 months ago
1994
ACM
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...