Sciweavers

2168 search results - page 181 / 434
» Using Approximation Hardness to Achieve Dependable Computati...
Sort
View
LCN
2005
IEEE
16 years 15 hour ago
Effective Channel Time Analysis for Mobile Broadband Wireless Networks
— We describe an algorithm to estimate the future cell throughput of a multi-rate broadband wireless network based on previous measurements. The total throughput of a cell depend...
Dennis Pong, Tim Moors
ECCV
2004
Springer
16 years 8 months ago
Optimal Importance Sampling for Tracking in Image Sequences: Application to Point Tracking
Abstract. In this paper, we propose a particle filtering approach for tracking applications in image sequences. The system we propose combines a measurement equation and a dynamic ...
Étienne Mémin, Elise Arnaud
DCC
2010
IEEE
16 years 1 months ago
Lossless Compression Based on the Sequence Memoizer
In this work we describe a sequence compression method based on combining a Bayesian nonparametric sequence model with entropy encoding. The model, a hierarchy of Pitman-Yor proce...
Jan Gasthaus, Frank Wood, Yee Whye Teh
HYBRID
2009
Springer
16 years 1 months ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
IRI
2006
IEEE
16 years 14 days ago
Replacing full rectangles by dense rectangles: Concept lattices and attribute implications
— Maximal full rectangles in tabular data are useful in several areas of data engineering. This paper presents a survey of results in which we replace “full rectangles” by ...
Radim Belohlávek, Vilém Vychodil