Sciweavers

1494 search results - page 271 / 299
» Kernels for Global Constraints
Sort
View
GRAPHICSINTERFACE
2011
13 years 1 months ago
Formation sketching: an approach to stylize groups in crowd simulation
Most of existing crowd simulation algorithms focus on the moving trajectories of individual agents, while collective group formations are often roughly learned from video examples...
Qin Gu, Zhigang Deng
3DIM
2011
IEEE
12 years 10 months ago
Space-Time Body Pose Estimation in Uncontrolled Environments
—We propose a data-driven, multi-view body pose estimation algorithm for video. It can operate in uncontrolled environments with loosely calibrated and low resolution cameras and...
Marcel Germann, Tiberiu Popa, Remo Ziegler, Richar...
ISPD
2012
ACM
234views Hardware» more  ISPD 2012»
12 years 5 months ago
MAPLE: multilevel adaptive placement for mixed-size designs
We propose a new multilevel framework for large-scale placement called MAPLE that respects utilization constraints, handles movable macros and guides the transition between global...
Myung-Chul Kim, Natarajan Viswanathan, Charles J. ...
TACAS
2012
Springer
316views Algorithms» more  TACAS 2012»
12 years 5 months ago
Compositional Termination Proofs for Multi-threaded Programs
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
Corneliu Popeea, Andrey Rybalchenko
TOG
2012
215views Communications» more  TOG 2012»
12 years 15 days ago
Dual loops meshing: quality quad layouts on manifolds
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
Marcel Campen, David Bommes, Leif Kobbelt