Sciweavers

662 search results - page 29 / 133
» Heart vs. Model
Sort
View
IEAAIE
2009
Springer
14 years 2 months ago
A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
Jan Treur
FIMH
2007
Springer
14 years 1 months ago
A Model for Simulation of Infant Cardiovascular Response to Orthostatic Stress
We developed an infant circulation model which incorporates an accurate myocardial cell model including a beta adrenergic system. The beta adrenergic system is essential for the re...
Yutaka Nobuaki, Akira Amano, Takao Shimayoshi, Jia...
DAC
2006
ACM
14 years 8 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
ESA
2009
Springer
129views Algorithms» more  ESA 2009»
14 years 2 months ago
Dynamic vs. Oblivious Routing in Network Design
Consider the robust network design problem of finding a minimum cost network with enough capacity to route all traffic demand matrices in a given polytope. We investigate the impa...
Navin Goyal, Neil Olver, F. Bruce Shepherd
ASPLOS
2000
ACM
14 years 2 days ago
FLASH vs. (Simulated) FLASH: Closing the Simulation Loop
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
Jeff Gibson, Robert Kunz, David Ofelt, Mark Heinri...