1104 search results - page 58 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
CISS
2010
IEEE
13 years 13 days ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
—In the past decade, artificial neural networks (ANNs) have been widely applied to the engineering problems with a complicated system. ANNs are becoming an important alternative ...
FPL
2008
Springer
13 years 10 months ago
2008
Springer
This paper describes an analytical model, based principally on Rent's Rule, that relates logic architectural parameters to the area efficiency of an FPGA. In particular, the ...