8719 search results - page 170 / 1744 » A Categorical Approach to Simulations |
95
Voted
WSC
2001
15 years 3 months ago
2001
The research using artificial intelligence and computer simulation introduces a new approach for solving the job shop-scheduling problem. The new approach is based on the developm...
102
click to vote
INTEGRATION
2007
15 years 1 months ago
2007
This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Virtually all implementations of simulated annealing are simplified by assuming discrete unknowns, however continuous-parameter annealing has many potential applications to image ...
102
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
HPCS
2007
IEEE
15 years 8 months ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...