4609 search results - page 484 / 922 » Automatic Generation of Sigma-Protocols |
172
click to vote
AVI
2008
15 years 9 months ago
2008
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
211
click to vote
AVSS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the Visor (VIdeo Surveillance Online Repository) project designed with the aim of establishing an open platform for collecting, annotating, retrieving, sharing...
216
click to vote
ITP
2010
15 years 9 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
183
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
169
click to vote
LREC
2010
15 years 8 months ago
2010
The vast amount of information freely available on the Web constitutes a unparalleled resource for the automatic knoweledge discovery and learning. In this paper we propose a study...