15635 search results - page 506 / 3127 » Modelling and Design of VAML |
206
Voted
PEWASUN
2005
ACM
16 years 13 days ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...
182
click to vote
HVC
2005
Springer
16 years 12 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
149
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
159
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
218
click to vote
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an active surface model designed for the segmentation of Drosophila Schneider cell nuclei and nucleoli from wide-field microscopic data. The imaging technique...