Sciweavers

95 search results - page 3 / 19
» Infinite streams in Java
Sort
View
ICDE
2002
IEEE
204views Database» more  ICDE 2002»
14 years 7 months ago
Approximating a Data Stream for Querying and Estimation: Algorithms and Performance Evaluation
Obtaining fast and good quality approximations to data distributions is a problem of central interest to database management. A variety of popular database applications including,...
Sudipto Guha, Nick Koudas
ICCV
2007
IEEE
14 years 7 months ago
Webcam Synopsis: Peeking Around the World
The world is covered with millions of webcams. Some are private, but many transmit everything in their field of view over the internet 24 hours a day. A web search finds public we...
Yael Pritch, Alex Rav-Acha, Avital Gutman, Shmuel ...
IPPS
2003
IEEE
13 years 11 months ago
Distributed Process Networks in Java
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
Thomas M. Parks, David Roberts
ICDM
2010
IEEE
199views Data Mining» more  ICDM 2010»
13 years 3 months ago
Addressing Concept-Evolution in Concept-Drifting Data Streams
Abstract--The problem of data stream classification is challenging because of many practical aspects associated with efficient processing and temporal behavior of the stream. Two s...
Mohammad M. Masud, Qing Chen, Latifur Khan, Charu ...
CALCO
2007
Springer
129views Mathematics» more  CALCO 2007»
13 years 9 months ago
CIRC : A Circular Coinductive Prover
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
Dorel Lucanu, Grigore Rosu