Sciweavers

267 search results - page 31 / 54
» Modeling Ant Behavior Under a Variable Environment
Sort
View
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
14 years 4 months ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
GECCO
1999
Springer
130views Optimization» more  GECCO 1999»
14 years 6 days ago
Heterochrony and Adaptation in Developing Neural Networks
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...
Angelo Cangelosi
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
14 years 11 days ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
13 years 5 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
MTA
2011
184views Hardware» more  MTA 2011»
12 years 10 months ago
Real-time control of individual agents for crowd simulation
This paper presents a novel approach for individual agent’s motion simulation in real-time virtual environments. In our model, we focus on addressing two problems: 1) the control...
Yunbo Rao, Leiting Chen, Qihe Liu, Weiyao Lin, Yan...