Sciweavers

8780 search results - page 339 / 1756
» On the Feasibility of Consistent Computations
Sort
View
GECCO
2006
Springer
146views Optimization» more  GECCO 2006»
15 years 11 months ago
Evolutionary motion design for humanoid robots
We propose a new approach to generating the motion of humanoid robots intuitively by means of Interactive Evolutionary Computation (IEC). In our system, novice users are able to d...
Toshihiko Yanase, Hitoshi Iba
CGI
2001
IEEE
15 years 11 months ago
An Inverse Kinematics Method Based on Muscle Dynamics
Inverse kinmatics is one of the most popular method in computer graphics to control 3D multi-joint characters. In this paper, we propose an inverse kinematics algorithm that takes...
Taku Komura, Yoshihisa Shinagawa, Tosiyasu L. Kuni...
VTS
1995
IEEE
105views Hardware» more  VTS 1995»
15 years 11 months ago
Cyclic stress tests for full scan circuits
To ensure the production of reliable circuits and fully testable unpackaged dies for MCMs burn-in, both dynamic and monitored, remains a feasible option. During this burn-in proce...
Vinay Dabholkar, Sreejit Chakravarty, J. Najm, Jan...
APSCC
2008
IEEE
15 years 9 months ago
Optimizing the Execution Time of the SLA-based Workflow in the Grid with Parallel Processing Technology
Service Level Agreements (SLAs) is currently one of the major research topics in Grid Computing. Among many system components for the supporting of SLA-aware Gridbased workflow, t...
Dang Minh Quan, Jörn Altmann, Laurence Tianru...
BIRTHDAY
2010
Springer
15 years 8 months ago
Counterexample Guided Path Reduction for Static Program Analysis
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
Ansgar Fehnker, Ralf Huuck, Sean Seefried