Sciweavers

420 search results - page 16 / 84
» Isosurface Computation Made Simple
Sort
View
AIMS
2007
Springer
14 years 1 months ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
EH
1999
IEEE
141views Hardware» more  EH 1999»
13 years 12 months ago
On-Line Evolution of FPGA-Based Circuits: A Case Study on Hash Functions
An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16bit address space into an 8-bit one. The target technology is FPGA,...
Ernesto Damiani, Andrea Tettamanzi, Valentino Libe...
RT
1999
Springer
13 years 12 months ago
Image-Based BRDF Measurement Including Human Skin
: We present a new image-based process for measuring the bidirectional reflectance of homogeneous surfaces rapidly, completely, and accurately. For simple sample shapes (spheres a...
Stephen R. Marschner, Stephen H. Westin, Eric P. L...
SIGECOM
2008
ACM
103views ECommerce» more  SIGECOM 2008»
13 years 7 months ago
Mechanism design over discrete domains
Often, we wish to design incentive-compatible algorithms for settings in which the players' private information is drawn from discrete domains (e.g., integer values). Our mai...
Ahuva Mu'alem, Michael Schapira
LICS
2006
IEEE
14 years 1 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel