Sciweavers

1982 search results - page 308 / 397
» Parametricity and dependent types
Sort
View
ICMAS
2000
14 years 11 months ago
Assessing Usage Patterns to Improve Data Allocation via Auctions
The data allocation problem in incomplete information environments consisting of self-motivated servers responding to users' queries is considered. Periodically, the servers ...
Rina Azoulay-Schwartz, Sarit Kraus
DAGSTUHL
1997
14 years 11 months ago
Techniques and Applications of Deformable Surfaces
This paper presents a technique for local surface extraction from scalar and vector fields using deformable surfaces. The goal of surface extraction is often to find features, o...
I. Ari Sadarjoen, Frits H. Post
UAI
2000
14 years 11 months ago
Compact Securities Markets for Pareto Optimal Reallocation of Risk
The securities market is the fundamental theoretical framework in economics and finance for resource allocation under uncertainty. Securities serve both to reallocate risk and to ...
David M. Pennock, Michael P. Wellman
WSC
1997
14 years 11 months ago
Time-Parallel Generation of Self-Similar ATM Traffic
We present a time–parallel technique for the fast generation of self–similar traffic which is suitable for performance studies of Asynchronous Transfer Mode (ATM) networks. Th...
Ioanis Nikolaidis, C. Anthony Cooper, Kalyan S. Pe...
NIPS
1994
14 years 11 months ago
Boosting the Performance of RBF Networks with Dynamic Decay Adjustment
Radial Basis Function (RBF) Networks, also known as networks of locally{tuned processing units (see 6]) are well known for their ease of use. Most algorithms used to train these t...
Michael R. Berthold, Jay Diamond