6704 search results - page 599 / 1341 » Testing Scenario-Based Models |
198
click to vote
BMVC
2010
15 years 5 months ago
2010
This work proposes a biologically inspired approach to integrate latent topic model with saliency detection. Firstly, a saliency detection algorithm is presented to discriminate s...
233
click to vote
IGARSS
2009
15 years 4 months ago
2009
High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the sce...
211
click to vote
SIGDIAL
2010
15 years 1 months ago
2010
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
222
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
238
click to vote
CISS
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...