Results 1 - 10 of 2,665

Behavioral Log Analysis with Statistical Guarantees

by Nimrod Busany, Shahar Maoz - In SIGSOFT FSE , 2015
"... Scalability is a major challenge for existing behavioral log analysis algorithms, which extract finite-state automaton models or temporal properties from logs generated by run-ning systems. In this work we propose to address scalability using statistical tools. The key to our approach is to consider ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
is to consider behavioral log analysis as a statistical experiment. Rather than analyzing the entire log, we suggest to analyze only a sample of traces from the log and, most importantly, provide means to compute statistical guarantees for the correctness of the analysis result. We present two example

Aggregation of Heterogeneous Real-Time Flows with Statistical Guarantees

by Krishna Pandit, Krishna P, Jens Schmitt, Ralf Steinmetz - In Procceedings of 2002 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS’02 , 2002
"... Aggregation of data flows has two major advantages. One is the reduction of state complexity within the network, the other is the saving of resources by statistical multiplexing between the aggregated flows. In this paper, we show a simple, yet effective scheme to aggregate real-time flows which req ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
require a statistical guarantee on experienced loss and a deterministic guarantee on the maximum delay on an individual basis. The focus of our aggregation scheme is on the reduction of state complexity. Therefore, we try to maximize the number of flows to be aggregated by the consideration

Statistical guarantee for object position synchronization in DVE

by Peter Tam
"... Communication cost and consistency are two major issues in DVE system. In this paper, we are going to explore a 1-dimension DVE system to exploit the idea of statistical guarantee object synchronization. We provide a mathematical analysis to show that the rate of message exchange is related to the c ..."
Abstract - Add to MetaCart
Communication cost and consistency are two major issues in DVE system. In this paper, we are going to explore a 1-dimension DVE system to exploit the idea of statistical guarantee object synchronization. We provide a mathematical analysis to show that the rate of message exchange is related

Statistical guarantee for object position synchronization in DVE

by DVE Group , 1998
"... Communication cost and consistency are two major issues in DVE system. In this paper, we are going to explore a simplified DVE system to see whether a statistical guarantee to consistency is possible. We use some mathematical analysis to show that the rate of message exchange can be directly related ..."
Abstract - Add to MetaCart
Communication cost and consistency are two major issues in DVE system. In this paper, we are going to explore a simplified DVE system to see whether a statistical guarantee to consistency is possible. We use some mathematical analysis to show that the rate of message exchange can be directly

Fast Randomized Kernel Methods With Statistical Guarantees

by Ahmed El, Alaoui Michael, W. Mahoney
"... One approach to improving the running time of kernel-based machine learning methods is to build a small sketch of the input and use it in lieu of the full kernel matrix in the machine learning task of interest. Here, we describe a version of this approach that comes with running time guarantees as w ..."
Abstract - Add to MetaCart
as well as improved guarantees on its statistical performance. By extending the notion of statistical leverage scores to the setting of kernel ridge regression, our main statistical result is to identify an importance sampling distribution that reduces the size of the sketch (i.e., the required number

Designing Packet Buffers with Statistical Guarantees Abstract-- Packet

by unknown authors
"... buffers are an essential part of routers. In highend routers these buffers need to store a large amount of data at very high speeds. To satisfy these requirements, we need a memory with the the speed of SRAM and the density of DRAM. A typical solution is to use hybrid packet buffers built from a com ..."
Abstract - Add to MetaCart
combination of SRAM and DRAM, where the SRAM holds the heads and tails of per-flow packet FIFOs and the DRAM is used for bulk storage. The main challenge then is to minimize the size of the SRAM while providing reasonable performance guarantees. In this paper, we analyze a commonly used hybrid architecture

Designing Packet Buffers with Statistical Guarantees Abstract-- Packet

by unknown authors
"... buffers are an essential part of routers. In highend routers these buffers need to store a large amount of data at very high speeds. To satisfy these requirements, we need a memory with the the speed of SRAM and the density of DRAM. A typical solution is to use hybrid packet buffers built from a com ..."
Abstract - Add to MetaCart
combination of SRAM and DRAM, where the SRAM holds the heads and tails of per-flow packet FIFOs and the DRAM is used for bulk storage. The main challenge then is to minimize the size of the SRAM while providing reasonable performance guarantees. In this paper, we analyze a commonly used hybrid architecture

The Dantzig selector: statistical estimation when p is much larger than n

by Emmanuel Candes, Terence Tao , 2005
"... In many important statistical applications, the number of variables or parameters p is much larger than the number of observations n. Suppose then that we have observations y = Ax + z, where x ∈ R p is a parameter vector of interest, A is a data matrix with possibly far fewer rows than columns, n ≪ ..."
Abstract - Cited by 879 (14 self) - Add to MetaCart
In many important statistical applications, the number of variables or parameters p is much larger than the number of observations n. Suppose then that we have observations y = Ax + z, where x ∈ R p is a parameter vector of interest, A is a data matrix with possibly far fewer rows than columns, n

Rapid object detection using a boosted cascade of simple features

by Paul Viola, Michael Jones - ACCEPTED CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION 2001 , 2001
"... This paper describes a machine learning approach for visual object detection which is capable of processing images extremely rapidly and achieving high detection rates. This work is distinguished by three key contributions. The first is the introduction of a new image representation called the " ..."
Abstract - Cited by 3283 (9 self) - Add to MetaCart
which unlike previous approaches provides statistical guarantees that discarded regions are unlikely to contain the object of interest. In the domain of face detection the system yields detection rates comparable to the best previous systems. Used in real-time applications, the detector runs at 15

Providing Statistically Guaranteed Streaming Quality for Peer-to-Peer Live Streaming

by Miao Wang, Lisong Xu, Byrav Ramamurthy
"... Most of the literature on peer-to-peer (P2P) live streaming focuses on how to provide best-effort streaming quality by efficiently using the system bandwidth; however, there is no guarantee about the provided streaming quality. This paper considers how to provide statistically guaranteed streaming q ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Most of the literature on peer-to-peer (P2P) live streaming focuses on how to provide best-effort streaming quality by efficiently using the system bandwidth; however, there is no guarantee about the provided streaming quality. This paper considers how to provide statistically guaranteed streaming
Results 1 - 10 of 2,665