Sciweavers

9095 search results - page 21 / 1819
» Service RT Systems
Sort
View
RTS
2006
115views more  RTS 2006»
13 years 7 months ago
Resource access control for dynamic priority distributed real-time systems
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
Chen Zhang, David Cordes
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 6 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
CLEAR
2007
Springer
153views Biometrics» more  CLEAR 2007»
14 years 1 months ago
The 2007 AMI(DA) System for Meeting Transcription
Abstract Meeting transcription is one of the main tasks for large vocabulary automatic speech recognition (ASR) and is supported by several large international projects in the area...
Thomas Hain, Lukas Burget, John Dines, Giulia Gara...
CODES
2005
IEEE
14 years 1 months ago
Conflict analysis in multiprocess synthesis for optimized system integration
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
Oliver Bringmann, Wolfgang Rosenstiel, Axel Sieben...
MLMI
2004
Springer
14 years 1 months ago
The 2004 ICSI-SRI-UW Meeting Recognition System
We describe the ICSI-SRI-UW team’s entry in the Spring 2004 NIST Meeting Recognition Evaluation. The system was derived from SRI’s 5xRT Conversational Telephone Speech (CTS) r...
Chuck Wooters, Nikki Mirghafori, Andreas Stolcke, ...