Sciweavers

1237 search results - page 150 / 248
» Strictness and Totality Analysis
Sort
View
MCSS
2007
Springer
15 years 5 months ago
Lyapunov functions for time-varying systems satisfying generalized conditions of Matrosov theorem
The classical Matrosov theorem concludes uniform asymptotic stability of time varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semidefi...
Frédéric Mazenc, Dragan Nesic
BMCBI
2006
93views more  BMCBI 2006»
15 years 6 months ago
Evaluation of absolute quantitation by nonlinear regression in probe-based real-time PCR
Background: In real-time PCR data analysis, the cycle threshold (CT) method is currently the gold standard. This method is based on an assumption of equal PCR efficiency in all re...
Rasmus Goll, Trine Olsen, Guanglin Cui, Jon Florho...
WWW
2009
ACM
16 years 23 days ago
Network-aware forward caching
This paper proposes and evaluates a Network Aware Forward Caching approach for determining the optimal deployment strategy of forward caches to a network. A key advantage of this ...
Jeffrey Erman, Alexandre Gerber, Mohammad Taghi Ha...
ICDT
2005
ACM
128views Database» more  ICDT 2005»
15 years 11 months ago
The Pipelined Set Cover Problem
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
Kamesh Munagala, Shivnath Babu, Rajeev Motwani, Je...
FCT
2003
Springer
15 years 11 months ago
On Boundaries of Highly Visible Spaces and Applications
The purpose of this paper is to investigate the properties of a certain class of highly visible spaces. For a given geometric space C containing obstacles specified by disjoint s...
John H. Reif, Zheng Sun