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...
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,...
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...
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...
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...