5718 search results - page 337 / 1144 » Modeling Rule Precision |
181
click to vote
JACM
2007
15 years 6 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
182
click to vote
TSMC
2002
15 years 6 months ago
2002
By exploiting the Fourier series expansion, we have developed a new constructive method of automatically generating a multivariable fuzzy inference system from any given sample set...
265
click to vote
GIS
2007
ACM
2007
ACM
Exploiting automatically inferred constraint-models for building identification in satellite imagery
16 years 7 months ago
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
196
click to vote
ISVC
2007
Springer
16 years 26 days ago
2007
Springer
We present an intuitive, fast and accurate interactive segmentation method for visualizing and analyzing 3D medical images. Our method combines a general deformable subdivision-sur...
147
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...