1449 search results - page 31 / 290 » Finiteness results for sigmoidal |
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
JMLR
2008
14 years 11 months ago
2008
In this paper we develop a theoretical analysis of the performance of sampling-based fitted value iteration (FVI) to solve infinite state-space, discounted-reward Markovian decisi...
106
click to vote
TCOM
2008
14 years 11 months ago
2008
Abstract-- In this paper, closed-form expressions for the uncoded bit error probability of closed-loop transmit diversity (CLTD) algorithms with two transmit and one receive antenn...
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we develop a theory of non-parametric self-calibration. Recently, schemes have been devised for non-parametric laboratory calibration, but not for selfcalibration. W...
NETWORKING
2004
15 years 1 months ago
2004
This paper presents an analytical methodology to obtain steady state throughput of a uniformly and fully loaded regular network. The network operates using deflection routing under...