Sciweavers

2956 search results - page 8 / 592
» Databases and Higher Types
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 1 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
ISI
2007
Springer
15 years 3 months ago
Mining Higher-Order Association Rules from Distributed Named Entity Databases
The burgeoning amount of textual data in distributed sources combined with the obstacles involved in creating and maintaining central repositories motivates the need for effective ...
Shenzhi Li, Christopher D. Janneck, Aditya P. Bela...
DBPL
1995
Springer
124views Database» more  DBPL 1995»
15 years 1 months ago
Scaling Database Languages to Higher-Order Distributed Programming
We describe the Tycoon   approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...
Bernd Mathiske, Florian Matthes, Joachim W. Schmid...
59
Voted
ISCAS
2003
IEEE
72views Hardware» more  ISCAS 2003»
15 years 2 months ago
Classification of synchronized states in CNNs with higher order cells
The aim of this paper is to describe various types of synchronization phenomena discovered in our earlier studies of dynamics of Cellular Nonlinear Networks composed of locally in...
Antonio Andreescu, Zbigniew Galias, Maciej Ogorzal...
87
Voted
VLDB
1997
ACM
120views Database» more  VLDB 1997»
15 years 1 months ago
A Region Splitting Strategy for Physical Database Design of Multidimensional File Organizations
This paper presents a region splitting strategy for physical database design of multidimensional le organizations. Physical database design is the process of determining the optim...
Jong-Hak Lee, Young-Koo Lee, Kyu-Young Whang, Il-Y...