4502 search results - page 667 / 901 » Regular Model Checking |
187
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Online communities need regular maintenance activities such as moderation and data input, tasks that typically fall to community owners. Communities that allow all members to part...
147
Voted
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a multi-view stereo reconstruction algorithm which recovers urban scenes as a combination of meshes and geometric primitives. It provides a compact model while preservi...
190
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
In this paper a method for estimating a rigid skeleton, including skinning weights, skeleton connectivity, and joint positions, given a sparse set of example poses is presented. I...
160
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
—With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleave...
165
Voted
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...