Sciweavers

4245 search results - page 389 / 849
» Input Modeling
Sort
View
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 7 months ago
An Achievable Rate for the MIMO Individual Channel
We consider the problem of communicating over a multiple-input multiple-output (MIMO) real valued channel for which no mathematical model is specified, and achievable rates are giv...
Yuval Lomnitz, Meir Feder
SPIN
2000
Springer
15 years 10 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
NIPS
2007
15 years 8 months ago
Predicting human gaze using low-level saliency combined with face detection
Under natural viewing conditions, human observers shift their gaze to allocate processing resources to subsets of the visual input. Many computational models try to predict such v...
Moran Cerf, Jonathan Harel, Wolfgang Einhäuse...
CVPR
2007
IEEE
16 years 9 months ago
Saliency Detection: A Spectral Residual Approach
The ability of human visual system to detect visual saliency is extraordinarily fast and reliable. However, computational modeling of this basic intelligent behavior still remains...
Xiaodi Hou, Liqing Zhang
SPAA
2009
ACM
16 years 7 months ago
Mapping filtering streaming applications with communication costs
In this paper, we explore the problem of mapping filtering streaming applications on large-scale homogeneous platforms, with a particular emphasis on communication models and thei...
Kunal Agrawal, Anne Benoit, Fanny Dufossé, ...