9842 search results - page 680 / 1969 » Compositional timing analysis |
184
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
197
click to vote
ISVC
2009
Springer
16 years 2 months ago
2009
Springer
We describe a new technique to extract the boundary of a walking subject, with ability to predict movement in missing frames. This paper uses a level sets representation of the tra...
162
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
191
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Recently it has been proved that the (1+1)-EA produces poor worst-case approximations for the vertex cover problem. In this paper the result is extended to the (1+λ)-EA by pro...
196
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...