5900 search results - page 823 / 1180 » Dependable Systems |
176
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
198
click to vote
AIML
2008
15 years 8 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
254
click to vote
LREC
2010
15 years 8 months ago
2010
In this article, we present an experiment of linguistic parameter tuning in the representation of the semantic space of polysemous words. We evaluate quantitatively the influence ...
LREC
2008
15 years 8 months ago
2008
In order to improve the flexibility and the precision of an automatic phone segmentation system for a type of expressive speech, the dubbing into French of fiction movies, we deve...
183
click to vote
IJCAI
2007
15 years 8 months ago
2007
Coronary Heart Disease can be diagnosed by measuring and scoring regional motion of the heart wall in ultrasound images of the left ventricle (LV) of the heart. We describe a comp...