Sciweavers

4894 search results - page 533 / 979
» The Guarding Problem - Complexity and Approximation
Sort
View
VMCAI
2010
Springer
16 years 2 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang
ALT
2008
Springer
16 years 1 months ago
Smooth Boosting for Margin-Based Ranking
We propose a new boosting algorithm for bipartite ranking problems. Our boosting algorithm, called SoftRankBoost, is a modification of RankBoost which maintains only smooth distri...
Jun-ichi Moribe, Kohei Hatano, Eiji Takimoto, Masa...
ALT
2006
Springer
16 years 1 months ago
Teaching Memoryless Randomized Learners Without Feedback
The present paper mainly studies the expected teaching time of memoryless randomized learners without feedback. First, a characterization of optimal randomized learners is provided...
Frank J. Balbach, Thomas Zeugmann
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
16 years 1 months ago
Branch Merge Reduction of RLCM Networks
— In this paper we consider the problem of finding a smaller RLCM circuit that approximately replicates the behavior (up to a certain frequency) of a given RLCM circuit. Targeted...
Bernard N. Sheehan
ICC
2009
IEEE
129views Communications» more  ICC 2009»
15 years 11 months ago
Restless Watchdog: Monitoring Multiple Bands with Blind Period in Cognitive Radio Systems
— Spectrum sensing, which monitors the spectrum activity, is studied for cognitive radio systems using multiple frequency bands with non-negligible band switching time (blind per...
Husheng Li