Sciweavers

986 search results - page 124 / 198
» Efficient Processing of the Cube Operator
Sort
View
VLDB
1994
ACM
148views Database» more  VLDB 1994»
15 years 2 months ago
Fast Incremental Indexing for Full-Text Information Retrieval
Full-text information retrieval systems have traditionally been designed for archival environments. They often provide little or no support for adding new documents to an existing...
Eric W. Brown, James P. Callan, W. Bruce Croft
ICDIM
2007
IEEE
15 years 1 months ago
Using watersheds segmentation on ISAR image for automatic target recognition
This paper deals with the processing adopted for shape extraction from the 2D-presentation (image) in radar automatic target recognition field. The goal is to provide helpful info...
Abdelmalek Toumi, Brigitte Hoeltzener, Ali Khencha...
CEAS
2006
Springer
15 years 1 months ago
Using Early Results from the 'spamHINTS' Project to Estimate an ISP Abuse Team's Task
ISPs operate "abuse" teams to deal with reports of inappropriate email being sent by their customers. Currently, the majority of this work is dealing with insecure syste...
Richard Clayton
CIKM
2006
Springer
15 years 1 months ago
Maximizing the sustained throughput of distributed continuous queries
Monitoring systems today often involve continuous queries over streaming data, in a distributed collaborative system. The distribution of query operators over a network of process...
Ioana Stanoi, George A. Mihaila, Themis Palpanas, ...
SPIN
2000
Springer
15 years 1 months ago
Logic Verification of ANSI-C Code with SPIN
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
Gerard J. Holzmann