7839 search results - page 1258 / 1568 » What's there and what's not |
139
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
: We review the singular value decomposition (SVD) and discuss some lesser-known applications of it that we find particularly interesting. We also discuss generalizations of the S...
189
click to vote
DCG
2011
14 years 5 months ago
2011
We describe a variant of a method used by modern graphic artists to design what are traditionally called Celtic knots, which are part of a larger family of designs called “mirro...
255
click to vote
DLOG
2011
14 years 5 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
139
click to vote
ECIR
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. As retrieval systems become more complex, learning to rank approaches are being developed to automatically tune their parameters. Using online learning to rank approaches...
145
Voted
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...