4074 search results - page 228 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
151
click to vote
AI
2008
Springer
16 years 28 days ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
177
click to vote
BMCBI
2005
2005
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
15 years 6 months ago
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper is focused on the question of simulation and visualization of 3D gel and paste dynamic effects. In a first part, we introduce a 3D physically based particle (or mass-in...
171
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
186
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...