1982 search results - page 177 / 397 » Parametricity and dependent types |
169
click to vote
AIRS
2010
Springer
15 years 4 months ago
2010
Springer
This paper is concerned with relevance ranking in search, particularly that using term dependency information. It proposes a novel and unified approach to relevance ranking using ...
197
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
127
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Shallow trench isolation (STI) is the mainstream CMOS isolation technology. It uses chemical mechanical planarization (CMP) to remove excess of deposited oxide and attain a planar...
169
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Tracking moving objects from image sequences obtained by a moving camera is a difficult problem since there exists apparent motion of the static background. It becomes more dif...
187
click to vote
SACI
2007
IEEE
16 years 25 days ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...