6978 search results - page 183 / 1396 » Reframing Requirements Analysis |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
The major limitation in bilingual latent semantic analysis (bLSA) is the requirement of parallel training corpora. Motivated by semi-supervised learning, we propose a clusterbased...
72
Voted
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
Content based search in audio-visual collections requires media specific analysis for extracting low level features to be efficiently indexed and searched. We present the SAPIR ...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Cognitive radio presents a new approach to wireless spectrum utilization and management. In this work, the potential performance improvement gained by applying cognitive radio t...