4460 search results - page 803 / 892 » Formal methods for interactive systems |
WWW
2001
ACM
14 years 9 months ago
2001
ACM
The World-Wide Web constitutes an activity space in which people set up and host places that are visited by others. To render web places such as homes, sites, and portals attracti...
SI3D
2010
ACM
14 years 3 months ago
2010
ACM
We present a new rigging and skinning method which uses a database of partial rigs extracted from a set of source characters. Given a target mesh and a set of joint locations, our...
ADHOCNOW
2009
Springer
14 years 3 months ago
2009
Springer
Multi-Radio Multi-Channel (MRMC) systems are key to power control problems in WMNs. Previous studies have emphasized throughput maximization in such systems as the main design chal...
MM
2009
ACM
14 years 3 months ago
2009
ACM
Audio-visual speaker diarisation is the task of estimating “who spoke when” using audio and visual cues. In this paper we propose the combination of an audio diarisation syste...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper we present APOS, a method for dynamically adapting the parameters of IEEE 802.11g to the estimated system state, with the aim of enhancing the quality of a voice c...