Sciweavers

685 search results - page 76 / 137
» Closure Operators for Order Structures
Sort
View
SSDBM
2007
IEEE
127views Database» more  SSDBM 2007»
15 years 8 months ago
A Fast Algorithm for Approximate Quantiles in High Speed Data Streams
We present a fast algorithm for computing approximate quantiles in high speed data streams with deterministic error bounds. For data streams of size N where N is unknown in advanc...
Qi Zhang, Wei Wang 0010
100
Voted
PROMAS
2007
Springer
15 years 8 months ago
A Common Semantic Basis for BDI Languages
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
VMCAI
2007
Springer
15 years 8 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
101
Voted
ICDM
2005
IEEE
126views Data Mining» more  ICDM 2005»
15 years 8 months ago
Text Representation: From Vector to Tensor
In this paper, we propose a text representation model, Tensor Space Model (TSM), which models the text by multilinear algebraic high-order tensor instead of the traditional vector...
Ning Liu, Benyu Zhang, Jun Yan, Zheng Chen, Wenyin...
ICW
2005
IEEE
155views Communications» more  ICW 2005»
15 years 8 months ago
A Coordination Middleware for Wireless Sensor Networks
Middleware development in the growing and promising field of sensor networks is a major challenge in order to facilitate the programmer task and bridge the gap between the applic...
Manuel Díaz, Bartolomé Rubio, Jos&ea...