4036 search results - page 376 / 808 » Formal Methods |
206
click to vote
DILS
2005
Springer
16 years 9 days ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
160
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
217
click to vote
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
178
click to vote
TSMC
2010
15 years 1 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
200
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
The quality of image stitching is measured by the similarity of the stitched image to each of the input images, and by the visibility of the seam between the stitched images. In or...