240 search results - page 36 / 48 » Incorporating Tables into Proofs |
111
click to vote
SDM
2003
SIAM
15 years 1 months ago
2003
SIAM
The singular value decomposition (SVD) is fundamental to many data modeling/mining algorithms, but SVD algorithms typically have quadratic complexity and require random access to ...
BTW
2007
Springer
15 years 6 months ago
2007
Springer
: Statistics that accurately describe the distribution of data values in the columns of relational tables are essential for effective query optimization in a database management sy...
106
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— Hitting and batting tasks, such as tennis forehands, ping-pong strokes, or baseball batting, depend on predictions where the ball can be intercepted and how it can prop...
155
click to vote
PEPM
2007
ACM
16 years 9 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
124
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a level set based variational approach that incorporates shape priors into Chan-Vese's model [3] for the shape prior segmentation problem. In our model, besides th...