6562 search results - page 359 / 1313 » Noetherianity and Combination Problems |
194
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
194
click to vote
RTS
2011
14 years 9 months ago
2011
This paper is an extended version of a paper that appeared in the proceedings of the IEEE Real-Time Systems Symposium 2009. This paper has been updated with respect to advances ma...
340
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We present the design, implementation, and evaluation of ArrayStore, a new storage manager for complex, parallel array processing. ArrayStore builds on prior work in the area of m...
213
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a generalized subgraph preconditioning (GSP) technique to solve large-scale bundle adjustment problems efficiently. In contrast with previous work which uses either di...
206
Voted
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we propose a new method for the simultaneous segmentation and 3D reconstruction of interest point based articulated motion. We decompose a set of point tracks into r...