5015 search results - page 455 / 1003 » Model Checking a Path |
166
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
202
click to vote
DNA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Nature is considered one promising area to search for inspiration in designing robotic systems. Some work in swarm robotics has tried to build systems that resemble distr...
163
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
Modeling, design and fabrication of tissue scaffolds with intricate architecture, porosity and pore size for desired tissue properties presents a challenge in tissue engineering. ...
144
click to vote
TROB
2002
15 years 6 months ago
2002
This paper presents an error modeling of an odometry system for a synchronous-drive system and a possible strategy for evaluating this error. The odometry error is modeled by intro...
185
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...