Sciweavers

1828 search results - page 212 / 366
» First-Class Type Classes
Sort
View
DOOD
1997
Springer
155views Database» more  DOOD 1997»
15 years 10 months ago
Incremental Updates for Materialized OQL Views
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...
Dieter Gluche, Torsten Grust, Christof Mainberger,...
ICANN
1997
Springer
15 years 10 months ago
Recurrent Associative Memory Network of Nonlinear Coupled Oscillators
Abstract. The recurrent associative memory networks with complexvalued Hebbian matrices of connections are designed from interacting limitcycle oscillators. These oscillatory netwo...
Margarita Kuzmina, Eduard A. Manykin, Irina Surina
ICDE
1993
IEEE
103views Database» more  ICDE 1993»
15 years 10 months ago
IsaLog: A declarative language for complex objects with hierarchies
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...
Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
15 years 10 months ago
On modeling top-down VLSI design
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...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...
STOC
1993
ACM
109views Algorithms» more  STOC 1993»
15 years 10 months ago
Routing permutations on graphs via matchings
We consider a class of routing problems on connected graphs G. Initially, each vertex v of G is occupied by a “pebble” which has a unique destination π(v) in G (so that π is...
Noga Alon, Fan R. K. Chung, Ronald L. Graham