1104 search results - page 58 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
109
click to vote
ICFEM
2009
Springer
15 years 10 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...
115
Voted
CISS
2010
IEEE
14 years 7 months 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 ...
113
Voted
ISBI
2008
IEEE
16 years 4 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...
120
Voted
IJCNN
2006
IEEE
15 years 9 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 ...
129
Voted
FPL
2008
Springer
15 years 5 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 ...