Results 1  10
of
2,665
Behavioral Log Analysis with Statistical Guarantees
 In SIGSOFT FSE
, 2015
"... Scalability is a major challenge for existing behavioral log analysis algorithms, which extract finitestate automaton models or temporal properties from logs generated by running 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 RealTime Flows with Statistical Guarantees
 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 realtime 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
"... Communication cost and consistency are two major issues in DVE system. In this paper, we are going to explore a 1dimension 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 1dimension 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
, 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
"... One approach to improving the running time of kernelbased 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
"... 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 perflow 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
"... 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 perflow 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
, 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
 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 realtime applications, the detector runs at 15
Providing Statistically Guaranteed Streaming Quality for PeertoPeer Live Streaming
"... Most of the literature on peertopeer (P2P) live streaming focuses on how to provide besteffort 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 peertopeer (P2P) live streaming focuses on how to provide besteffort 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