Sciweavers

1984 search results - page 254 / 397
» Binary Component Adaptation
Sort
View
SIGECOM
2010
ACM
241views ECommerce» more  SIGECOM 2010»
15 years 9 months ago
A practical liquidity-sensitive automated market maker
Current automated market makers over binary events suffer from two problems that make them impractical. First, they are unable to adapt to liquidity, so trades cause prices to mo...
Abraham Othman, Tuomas Sandholm, David M. Pennock,...
RT
2001
Springer
15 years 8 months ago
Realistic Reflections and Refractions on Graphics Hardware with Hybrid Rendering and Layered Environment Maps
We introduce hybrid rendering, a scheme that dynamically ray traces the local geometry of reflective and refractive objects, but approximates more distant geometry by hardwaresupp...
Ziyad S. Hakura, John M. Snyder
CP
2000
Springer
15 years 8 months ago
Boosting Search with Variable Elimination
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
Javier Larrosa
ICDAR
2007
IEEE
15 years 8 months ago
A Method for Image Local-Difference Visualization
As ancient documents are being digitized, systems for retrieving documents or images can now be found in Digital Libraries. With regard to illustrations, the content-based image r...
Etienne Baudrier, A. Riffaud
TACAS
2000
Springer
138views Algorithms» more  TACAS 2000»
15 years 8 months ago
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norma...