425 search results - page 37 / 85 » Requirements, specifications, and minimal refinement |
130
click to vote
NCI
2004
15 years 1 months ago
2004
In the Neural Networks approach by Radial Basis Function - RBF, the property of interpolation between faces, their variation, and the diversity of faces helps to minimize the outp...
109
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
CHI
1994
ACM
15 years 4 months ago
1994
ACM
Treemaps support visualization of large hierarchical information spaces. The treemap generation algorithm is straightforward and application prototypes have only minimal hardware ...
99
Voted
DBSEC
2006
15 years 1 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
84
Voted
DAC
1994
ACM
15 years 4 months ago
1994
ACM
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...