7918 search results - page 1223 / 1584 » Model Composition Directives |
142
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
113
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents the results of formant analysis using a newly developed formant contour model. We model formant contours with a linear combination of formant target values and...
140
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper we consider a unified framework for parameter estimation problems which arise in a system identification context. In this framework, the parameters to be estimated a...
149
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The goal of combining beamforming and space-time coding is to obtain full-diversity order and to provide additional received power (array gain) compared to conventional space-time...
149
click to vote
ENTCS
2008
15 years 4 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...