Sciweavers

520 search results - page 30 / 104
» Truthful Mechanisms for Exhibitions
Sort
View
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 3 months ago
A Dynamic Service Level Negotiation Mechanism for QoS Provisioning in NGEO Satellite Networks
Satellite communication systems exhibit important and unique features that qualify them to be an integral part of a global ubiquitous information system. Given the universality of ...
Tarik Taleb, Kazuo Hashimoto, Nei Kato, Yoshiaki N...
ICSE
2004
IEEE-ACM
15 years 12 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
ISVC
2009
Springer
15 years 6 months ago
Speech-Driven Facial Animation Using a Shared Gaussian Process Latent Variable Model
Abstract. In this work, synthesis of facial animation is done by modelling the mapping between facial motion and speech using the shared Gaussian process latent variable model. Bot...
Salil Deena, Aphrodite Galata
APPROX
2004
Springer
88views Algorithms» more  APPROX 2004»
15 years 5 months ago
A Stateful Implementation of a Random Function Supporting Parity Queries over Hypercubes
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
Andrej Bogdanov, Hoeteck Wee
BLISS
2009
IEEE
15 years 28 days ago
Recognition of Dynamic Texture Patterns Using CHLAC Features
In this paper, we propose a statistical scheme for recognizing three-dimensional textures shown in motion images, which we call dynamic textures. The texture characteristics emerg...
Takumi Kobayashi, Tetsuya Higuchi, Tsuneharu Miyaj...