Sciweavers

1497 search results - page 87 / 300
» Online Negative Databases
Sort
View
162
Voted
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 6 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
154
Voted
ICDT
2012
ACM
251views Database» more  ICDT 2012»
13 years 5 months ago
Computing universal models under guarded TGDs
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
André Hernich
NIPS
2007
15 years 4 months ago
Unconstrained On-line Handwriting Recognition with Recurrent Neural Networks
In online handwriting recognition the trajectory of the pen is recorded during writing. Although the trajectory provides a compact and complete representation of the written outpu...
Alex Graves, Santiago Fernández, Marcus Liw...
ICDE
2006
IEEE
210views Database» more  ICDE 2006»
16 years 3 months ago
Fractal Modeling of IP Network Traffic at Streaming Speeds
This paper describes how to fit fractal models, online, on IP traffic data streams. Our approach relies on maintaining a sketch of the data stream and fitting straight lines: it y...
Flip Korn, S. Muthukrishnan, Yihua Wu
ICDT
2007
ACM
81views Database» more  ICDT 2007»
15 years 8 months ago
Constant-Memory Validation of Streaming XML Documents Against DTDs
In this paper we investigate the problem of validating, with constant memory, streaming XML documents with respect to a DTD. Such constant memory validations can only be performed ...
Luc Segoufin, Cristina Sirangelo