Sciweavers

4258 search results - page 771 / 852
» Languages and Interactive Software Development
Sort
View
CLEAR
2007
Springer
136views Biometrics» more  CLEAR 2007»
16 years 23 days 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
16 years 21 days 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
16 years 2 days 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 10 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 10 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