8431 search results - page 1386 / 1687 » Algorithmically Independent Sequences |
280
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
218
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— This work details the authors’ efforts to push the baseline of expression recognition performance on a realistic database. Both subject-dependent and subject-independent emot...
226
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we examine a class of multiple-input, singleoutput (MISO) nonlinear systems of the block-oriented structure. In particular, we focus on MISO Hammerstein systems bein...
165
click to vote
JASIS
2011
14 years 9 months ago
2011
In both the popular press and scholarly research, digital information is persistently discussed in terms that imply its immateriality. In this characterization, the digital derive...
212
click to vote
MMAS
2011
Springer
14 years 9 months ago
2011
Springer
This paper introduces a new sweeping preconditioner for the iterative solution of the variable coefficient Helmholtz equation in two and three dimensions. The algorithms follow th...