3909 search results - page 369 / 782 » Extreme Model Checking |
131
click to vote
WCE
2007
15 years 5 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
143
click to vote
JLP
2008
15 years 4 months ago
2008
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interva...
141
click to vote
CAGD
2005
15 years 4 months ago
2005
In this paper we present a novel approach to construct B-spline wavelets under constraints, taking advantage of the lifting scheme. Constrained B-spline wavelets allow multiresolu...
152
click to vote
CN
2011
14 years 11 months ago
2011
—In this paper, we study the interactions of user-based congestion control algorithms and router-based switch scheduling algorithms. We show that switch scheduling algorithms tha...
147
click to vote
TSP
2011
14 years 10 months ago
2011
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data fit (likeli...