Sciweavers

1279 search results - page 34 / 256
» AWESIM: The Integrated Simulation System
Sort
View
DAC
2005
ACM
14 years 9 months ago
Architecture-adaptive range limit windowing for simulated annealing FPGA placement
Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...
Kenneth Eguro, Scott Hauck, Akshay Sharma
FDL
2003
IEEE
14 years 1 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
IROS
2006
IEEE
142views Robotics» more  IROS 2006»
14 years 2 months ago
Integrated Grasp Planning and Visual Object Localization For a Humanoid Robot with Five-Fingered Hands
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
Antonio Morales, Tamim Asfour, Pedram Azad, Steffe...
ICIP
2006
IEEE
14 years 10 months ago
Image-Based Simulation of Gaseous Material
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
Murat Balci, Mais Alnasser, Hassan Foroosh
ECAL
2005
Springer
14 years 2 months ago
Simulating Artificial Organisms with Qualitative Physiology
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
Simon Hartley, Marc Cavazza, Louis Bec, Jean-Luc L...