2748 search results - page 476 / 550 » Generating Object-Z Specifications from Use Cases |
125
click to vote
NIPS
1993
15 years 1 months ago
1993
The non-linear complexities of neural networks make network solutions difficult to understand. Sanger's contribution analysis is here extended to the analysis of networks aut...
105
click to vote
AIPS
2009
15 years 1 months ago
2009
Probabilistic Roadmaps (PRM) are a commonly used class of algorithms for robot navigation tasks where obstacles are present in the environment. We examine the situation where the ...
111
click to vote
CGF
2008
14 years 12 months ago
2008
Silhouette is a key feature that distinguishes displacement mapping from normal mapping. However the silhouette rendering in the GPU implementation of displacement mapping (which ...
COR
2006
14 years 12 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...
185
click to vote
LISP
2006
14 years 11 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...