Sciweavers

4258 search results - page 771 / 852
» Languages and Interactive Software Development
Sort
View
CLEAR
2007
Springer
136views Biometrics» more  CLEAR 2007»
15 years 6 months ago
The ISL RT-07 Speech-to-Text System
Abstract. This paper describes the 2007 meeting speech-to-text system for lecture rooms developed at the Interactive Systems Laboratories (ISL), for the multiple distant microphone...
Matthias Wölfel, Sebastian Stüker, Flori...
RAID
2007
Springer
15 years 6 months ago
Swaddler: An Approach for the Anomaly-Based Detection of State Violations in Web Applications
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
Marco Cova, Davide Balzarotti, Viktoria Felmetsger...
IEAAIE
2005
Springer
15 years 5 months ago
AI/NLP Technologies Applied to Spacecraft Mission Design
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
Maria Teresa Pazienza, Marco Pennacchiotti, Michel...
VRML
2010
ACM
15 years 3 months ago
SpiderGL: a JavaScript 3D graphics library for next-generation WWW
Thanks to the WebGL graphics API specification for the JavaScript programming language, the possibility of using the GPU capabilities in a web browser without the need for an ad-...
Marco Di Benedetto, Federico Ponchio, Fabio Ganove...
FTRTFT
2000
Springer
15 years 3 months ago
Modeling Faults of Distributed, Reactive Systems
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
Max Breitling