Sciweavers

667 search results - page 91 / 134
» Total parser combinators
Sort
View
HT
1999
ACM
14 years 1 months ago
Control Choices and Network Effects in Hypertext Systems
When the utility of a hypertext system depends on the number of users and amount of data in the system, the system exhibits network effects. This paper examines how the core diffe...
E. James Whitehead Jr.
SIGMOD
1999
ACM
135views Database» more  SIGMOD 1999»
14 years 1 months ago
Improving OLTP Data Quality Using Data Warehouse Mechanisms
Research and products for the integration of heterogeneous legacy source databases in data warehousing have addressed numerous data quality problems in or between the sources. Suc...
Matthias Jarke, Christoph Quix, Guido Blees, Dirk ...
LICS
1999
IEEE
14 years 1 months ago
Type Inference for Recursive Definitions
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
A. J. Kfoury, Santiago M. Pericás-Geertsen
STOC
1998
ACM
125views Algorithms» more  STOC 1998»
14 years 1 months ago
Spot-Checkers
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
Funda Ergün, Sampath Kannan, Ravi Kumar, Roni...
KDD
1998
ACM
94views Data Mining» more  KDD 1998»
14 years 1 months ago
Independence Diagrams: A Technique for Visual Data Mining
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...
Stefan Berchtold, H. V. Jagadish, Kenneth A. Ross