Sciweavers

2087 search results - page 159 / 418
» Computation of class numbers of quadratic number fields
Sort
View
INFOCOM
1997
IEEE
15 years 10 months ago
Efficient Admission Control for EDF Schedulers
In this paper we present algorithms for flow admission control at an EDF link scheduler when the flows are characterized by peak rate, average rate and burst size. We show that th...
Victor Firoiu, James F. Kurose, Donald F. Towsley
TIFS
2010
120views more  TIFS 2010»
15 years 1 months ago
Quantitative Structural Steganalysis of Jsteg
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...
Jan Kodovský, Jessica J. Fridrich
ICCV
2011
IEEE
14 years 6 months ago
Tabula Rasa: Model Transfer for Object Category Detection
Our objective is transfer training of a discriminatively trained object category detector, in order to reduce the number of training images required. To this end we propose three ...
Yusuf Aytar, Andrew Zisserman
CONCUR
2012
Springer
13 years 8 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
FOSSACS
2009
Springer
16 years 1 months ago
Interrupt Timed Automata
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
Béatrice Bérard, Serge Haddad