Sciweavers

1585 search results - page 118 / 317
» A framework for computer-aided validation
Sort
View
IDA
2010
Springer
15 years 20 days ago
Extraction of unexpected sentences: A sentiment classification assessed approach
Sentiment classification in text documents is an active data mining research topic in opinion retrieval and analysis. Different from previous studies concentrating on the developm...
Dong (Haoyuan) Li, Anne Laurent, Pascal Poncelet, ...
138
Voted
ICIP
2003
IEEE
16 years 5 months ago
Sequential Monte Carlo video text segmentation
This paper presents a probabilistic algorithm for segmenting and recognizing text embedded in video sequences. The algorithm approximates the posterior distribution of segmentatio...
Datong Chen, Jean-Marc Odobez
DSN
2009
IEEE
15 years 10 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper
ICASSP
2009
IEEE
15 years 10 months ago
Testing fractal connectivity in multivariate long memory processes
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
Herwig Wendt, Antoine Scherrer, Patrice Abry, Soph...
116
Voted
ICRA
2009
IEEE
266views Robotics» more  ICRA 2009»
15 years 10 months ago
Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
Alessandro Marino, Lynne E. Parker, Gianluca Anton...