Sciweavers

1746 search results - page 69 / 350
» A linear implementation of PACMAN
Sort
View
HT
1999
ACM
14 years 1 months ago
Beyond Location: Hypertext Workspaces and Non-Linear Views
With the growth of the Web as a public information resource, users need workspaces to support the collection, evaluation, organization, and annotation of the materials they retrie...
Frank M. Shipman III, Catherine C. Marshall, Mark ...
SIGGRAPH
1996
ACM
14 years 1 months ago
Linear-Time Dynamics Using Lagrange Multipliers
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
David Baraff
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 7 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
CVPR
2012
IEEE
11 years 11 months ago
A simple prior-free method for non-rigid structure-from-motion factorization
This paper proposes a simple “prior-free” method for solving non-rigid structure-from-motion factorization problems. Other than using the basic low-rank condition, our method ...
Yuchao Dai, Hongdong Li, Mingyi He
SIAMSC
2010
141views more  SIAMSC 2010»
13 years 7 months ago
Blendenpik: Supercharging LAPACK's Least-Squares Solver
Abstract. Several innovative random-sampling and random-mixing techniques for solving problems in linear algebra have been proposed in the last decade, but they have not yet made a...
Haim Avron, Petar Maymounkov, Sivan Toledo