Sciweavers

534 search results - page 47 / 107
» Improving Quality of Education through the Use of Intranet
Sort
View
CORR
2002
Springer
122views Education» more  CORR 2002»
14 years 9 months ago
Fair Stateless Aggregate Traffic Marking using Active Queue Management Techniques
Abstract--In heterogeneous networks such as today's Internet, the differentiated services architecture promises to provide QoS guarantees through scalable service differentiat...
Abhimanyu Das, Debojyoti Dutta, Ahmed Helmy
FMCAD
2008
Springer
14 years 11 months ago
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
Orna Kupferman, Wenchao Li, Sanjit A. Seshia
CSEE
2006
Springer
15 years 1 months ago
Writing as a Tool for Learning Software Engineering
This paper presents an educational method used to improve teaching of tedious topics in software engineering courses that can be difficult for students to comprehend without any r...
Alf Inge Wang, Carl-Fredrik Sørensen
INTERSPEECH
2010
14 years 4 months ago
Automatic speech recognition system channel modeling
In this paper, we present a systems approach for channel modeling of an Automatic Speech Recognition (ASR) system. This can have implications in improving speech recognition compo...
Qun Feng Tan, Kartik Audhkhasi, Panayiotis G. Geor...
CORR
2010
Springer
102views Education» more  CORR 2010»
14 years 10 months ago
Error Analysis of Approximated PCRLBs for Nonlinear Dynamics
In practical nonlinear filtering, the assessment of achievable filtering performance is important. In this paper, we focus on the problem of how to efficiently approximate the post...
Ming Lei, Pierre Del Moral, Christophe Baehr