2940 search results - page 373 / 588 » Relational Parametricity and Control |
136
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
137
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Current state-of-the-art speech recognition systems work quite well in controlled environments but their performance degrades severely in realistic acoustical conditions in reverb...
141
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
: Assessing cognitive load on web search is useful for characterizing search system features and search tasks with respect to their demands on the searcher's mental effort. It...
131
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
130
Voted
AUTOMATICA
2006
15 years 5 months ago
2006
A block Toeplitz algorithm is proposed to perform the J-spectral factorization of a para-Hermitian polynomial matrix. The input matrix can be singular or indefinite, and it can ha...