5718 search results - page 769 / 1144 » Modeling Rule Precision |
203
click to vote
ENGL
2007
15 years 7 months ago
2007
This research introduces a general class of functions serving as generalized neuron models to be used in artificial neural networks. They are cast in the common framework of comp...
218
click to vote
NJC
2006
15 years 7 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
189
click to vote
ENTCS
2000
15 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
238
click to vote
SOCO
1998
Springer
15 years 7 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
186
click to vote
ENVSOFT
2008
15 years 7 months ago
2008
This paper presents LANDFORM, a customized GIS application for semi-automated classification of landform elements, based on topographic attributes like curvature or elevation perc...