Sciweavers

425 search results - page 37 / 85
» Requirements, specifications, and minimal refinement
Sort
View
NCI
2004
188views Neural Networks» more  NCI 2004»
13 years 9 months ago
Training set optimization in 3D human face recognition by RBF neural networks
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...
Antonio C. Zimmermann, L. S. Encinas, L. O. Marin,...
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 7 months ago
Optimal Path Planning under Temporal Logic Constraints
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...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
CHI
1994
ACM
13 years 12 months ago
Hierarchical visualization with treemaps: making sense of pro basketball data
Treemaps support visualization of large hierarchical information spaces. The treemap generation algorithm is straightforward and application prototypes have only minimal hardware ...
David Turo
DBSEC
2006
107views Database» more  DBSEC 2006»
13 years 9 months ago
From Business Process Choreography to Authorization Policies
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
Philip Robinson, Florian Kerschbaum, Andreas Schaa...
DAC
1994
ACM
13 years 11 months ago
Optimizing Resource Utilization and Testability Using Hot Potato Techniques
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 ...
Miodrag Potkonjak, Sujit Dey