Sciweavers

1382 search results - page 137 / 277
» Procedural Generation of Roads
Sort
View
TOG
2012
165views Communications» more  TOG 2012»
13 years 18 days ago
Optimizing locomotion controllers using biologically-based actuators and objectives
We present a technique for automatically synthesizing walking and running controllers for physically-simulated 3D humanoid characters. The sagittal hip, knee, and ankle degrees-of...
Jack M. Wang, Samuel R. Hamner, Scott L. Delp, Vla...
CAV
2012
Springer
222views Hardware» more  CAV 2012»
13 years 17 days ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
GECCO
2007
Springer
236views Optimization» more  GECCO 2007»
15 years 4 months ago
A discrete differential evolution algorithm for the permutation flowshop scheduling problem
In this paper, a novel discrete differential evolution (DDE) algorithm is presented to solve the permutation flowhop scheduling problem with the makespan criterion. The DDE algori...
Quan-Qe Pan, Mehmet Fatih Tasgetiren, Yun-Chia Lia...
3DPVT
2006
IEEE
212views Visualization» more  3DPVT 2006»
15 years 4 months ago
High-Performance Multi-View Reconstruction
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
Christopher Zach, Mario Sormann, Konrad F. Karner
IAT
2006
IEEE
15 years 4 months ago
Multi-Agent Coordination and Cooperation through Classical Planning
Multi-agent planning is a fundamental problem in multiagent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where m...
Yannis Dimopoulos, Pavlos Moraitis