Sciweavers

1308 search results - page 212 / 262
» Bayesian Algorithmic Mechanism Design
Sort
View
109
Voted
IEEEPACT
1999
IEEE
15 years 4 months ago
Cameron: High level Language Compilation for Reconfigurable Systems
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
Jeffrey Hammes, Robert Rinker, A. P. Wim Böhm...
97
Voted
IPPS
1999
IEEE
15 years 4 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
CHI
1997
ACM
15 years 4 months ago
Queries? Links? Is there a Difference?
Hypertext interfaces are considered appropriate for information exploration tasks. The prohibitively expensive link creation effort, however, prevents traditional hypertext interf...
Gene Golovchinsky
105
Voted
SMA
1997
ACM
120views Solid Modeling» more  SMA 1997»
15 years 4 months ago
The Generic Geometric Complex (GGC): A Modeling Scheme for Families of Decomposed Pointsets
: Modeling of families of geometric objects is a major topic in modern geometric and solid modeling. Object families are central to many important solid modeling applications, incl...
Ari Rappoport
HICSS
1996
IEEE
165views Biometrics» more  HICSS 1996»
15 years 4 months ago
Advanced Distributed Simulation through the Aggregate Level Simulation Protocol
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
Richard M. Weatherly, Annette L. Wilson, Bradford ...