Sciweavers

4349 search results - page 731 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
113
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Open-set speaker identification in broadcast news
In this paper, we examine the problem of text-independent open-set speaker identification (OS-SI) in broadcast news. Particularly, the impact of the population of registered speak...
Chao Gao, Guruprasad Saikumar, Amit Srivastava, Pr...
141
Voted
ICASSP
2011
IEEE
14 years 7 months ago
On the ergodic capacity of jointly-correlated rician Fading MIMO channels
—In this paper, we study the capacity-achieving input covariance matrices for the jointly-correlated (or the Weichselberger) Rician fading multiple-input multiple-output (MIMO) a...
Chao-Kai Wen, Shi Jin, Kai-Kit Wong, Jung-Chieh Ch...
DAC
2009
ACM
16 years 4 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...
SIGSOFT
2002
ACM
16 years 4 months ago
Invariant inference for static checking
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
Jeremy W. Nimmer, Michael D. Ernst
IUI
2010
ACM
15 years 10 months ago
Intelligent understanding of handwritten geometry theorem proving
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Z...