42 search results - page 1 / 9 » GREEN: A Tool for Modelling Natural Elements |
WSCG
2000
14 years 5 days ago
2000
JMIV
1998
13 years 10 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
RE
2010
Springer
13 years 5 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
FMSB
2008
14 years 12 days ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
FDL
2005
IEEE
14 years 4 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...