18769 search results - page 304 / 3754 » Requirements Models in Context |
207
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
232
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...
194
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...
195
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper proposes a technique for improving tone correctness in Thai speech synthesis based on an average voice model trained with nonprofessional speech corpus. The proposed te...
232
Voted
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper presents a novel schema to address the polysemy of visual words in the widely used bag-of-words model. As a visual word may have multiple meanings, we show it is possib...