Sciweavers

19866 search results - page 3813 / 3974
» Computing all factorizations in ***
Sort
View
SIGECOM
2004
ACM
132views ECommerce» more  SIGECOM 2004»
15 years 12 months ago
A dynamic pari-mutuel market for hedging, wagering, and information aggregation
I develop a new mechanism for risk allocation and information speculation called a dynamic pari-mutuel market (DPM). A DPM acts as hybrid between a pari-mutuel market and a contin...
David M. Pennock
VRST
2004
ACM
15 years 12 months ago
Animating reactive motions for biped locomotion
In this paper, we propose a new method for simulating reactive motions for running or walking human figures. The goal is to generate realistic animations of how humans compensate...
Taku Komura, Howard Leung, James Kuffner
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 12 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
APPROX
2004
Springer
135views Algorithms» more  APPROX 2004»
15 years 12 months ago
The Diameter of Randomly Perturbed Digraphs and Some Applications.
The central observation of this paper is that if ǫn random arcs are added to any n-node strongly connected digraph with bounded degree then the resulting graph has diameter O(ln ...
Abraham Flaxman, Alan M. Frieze
ATAL
2004
Springer
15 years 12 months ago
Adaptive Information Infrastructures for the e-Society
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
Mihaela Ulieru
« Prev « First page 3813 / 3974 Last » Next »