Sciweavers

4880 search results - page 83 / 976
» Manuals as Structured Programs
Sort
View
127
Voted
SAGT
2010
Springer
200views Game Theory» more  SAGT 2010»
15 years 1 months ago
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties
The solution to a Nash or a nonsymmetric bargaining game is obtained by maximizing a concave function over a convex set, i.e., it is the solution to a convex program. We show that...
Vijay V. Vazirani
122
Voted
PADL
2004
Springer
15 years 8 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
127
Voted
ISVC
2010
Springer
15 years 1 months ago
On Supervised Human Activity Analysis for Structured Environments
We consider the problem of developing an automated visual solution for detecting human activities within industrial environments. This has been performed using an overhead view. Th...
Banafshe Arbab-Zavar, Imed Bouchrika, John N. Cart...
112
Voted
SG
2005
Springer
15 years 8 months ago
Automatic Cross-Sectioning Based on Topological Volume Skeletonization
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
Yuki Mori, Shigeo Takahashi, Takeo Igarashi, Yurik...
136
Voted
AFRIGRAPH
2001
ACM
15 years 6 months ago
Real time isosurface browsing
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
Caleb Lyness, Edwin H. Blake