Sciweavers

124 search results - page 13 / 25
» Inverse Procedural Modeling by Automatic Generation of L-sys...
Sort
View
ICCSA
2009
Springer
14 years 2 months ago
Parameter-Less GA Based Crop Parameter Assimilation with Satellite Image
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
Shamim Akhter, Keigo Sakamoto, Yann Chemin, Kento ...
CADE
2009
Springer
14 years 2 months ago
Interpolant Generation for UTVPI
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
TOG
2012
165views Communications» more  TOG 2012»
11 years 9 months 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...
CVPR
2006
IEEE
14 years 1 months ago
Learning Joint Top-Down and Bottom-up Processes for 3D Visual Inference
We present an algorithm for jointly learning a consistent bidirectional generative-recognition model that combines top-down and bottom-up processing for monocular 3d human motion ...
Cristian Sminchisescu, Atul Kanaujia, Dimitris N. ...
WSC
1997
13 years 8 months ago
Computational Experience with the Batch Means Method
This article discusses implementation issues for the LBATCH and ABATCH batch means procedures of Fishman and Yarberry (1997). Theses procedures dynamically increase the batch size...
Christos Alexopoulos, George S. Fishman, Andrew F....