Sciweavers

1497 search results - page 87 / 300
» Online Negative Databases
Sort
View
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
14 years 2 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
ICDT
2012
ACM
251views Database» more  ICDT 2012»
12 years 18 days 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
13 years 11 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»
14 years 11 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»
14 years 4 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