2119 search results - page 126 / 424 » Structure-Preserving Model Reduction |
103
click to vote
COGSCI
2011
14 years 10 months ago
2011
This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to qui...
123
click to vote
CLEAR
2007
Springer
15 years 9 months ago
2007
Springer
We present the IBM systems for the Rich Transcription 2007 (RT07) speaker diarization evaluation task on lecture meeting data. We first overview our baseline system that was devel...
117
click to vote
CTRSA
2005
Springer
15 years 8 months ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
163
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
135
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...