1982 search results - page 149 / 397 » Parametricity and dependent types |
180
click to vote
IRREGULAR
1995
Springer
15 years 10 months ago
1995
Springer
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
199
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Independent component analysis (ICA) has been successfully applied for the analysis of functional magnetic resonance imaging (fMRI) data. However, independence might be too strong...
180
click to vote
EMNLP
2010
15 years 4 months ago
2010
In this paper we introduce the new task of social event extraction from text. We distinguish two broad types of social events depending on whether only one or both parties are awa...
204
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we formulate a power loading problem for the spatial subchannels (parallel channels) of a single-carrier MIMO-SVD system. The power loading solution is designed to mi...
305
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Recent studies on visual tracking have shown significant improvement in accuracy by handling the appearance variations of the target object. Whereas most studies present schemes ...