5232 search results - page 227 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
186
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
137
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
160
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
135
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present fast 3D surface registration methods for inhand modeling. This allows users to scan complete objects swiftly by simply turning them around in front of the scanner. The ...
186
click to vote
ICSE
2007
IEEE-ACM
16 years 21 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...