3145 search results - page 154 / 629 » Key Improvements to XTR |
156
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
182
click to vote
UMUAI
1998
15 years 6 months ago
1998
In this paper, we argue for the need to distinguish between task initiative and dialogue initiative, and present an evidential model for tracking shifts in both types of initiativ...
186
click to vote
TASLP
2002
15 years 6 months ago
2002
This paper presents a framework for maximum a posteriori (MAP) speaker adaptation of state duration distributions in hidden Markov models (HMM). Four key issues of MAP estimation, ...
139
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Systems of systems (SoS) are a hot topic in our "fully connected global world". Our aim is not to provide another definition of what SoS are, but rather to focus on the a...
217
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The proliferation of media sharing and social networking websites has brought with it vast collections of site-specific user generated content. The result is a Social Networking Di...