1717 search results - page 260 / 344 » A Computable Spectral Theorem |
84
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
105
click to vote
VLSM
2005
Springer
15 years 6 months ago
2005
Springer
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
81
Voted
ARITH
2003
IEEE
15 years 5 months ago
2003
IEEE
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...
112
click to vote
FOCS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...
115
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Based on the Lagrangian framework for fluid dynamics, a streakline
representation of flow is presented to solve computer vision
problems involving crowd and traffic flow. Streakl...