Sciweavers

1302 search results - page 143 / 261
» Soundness in the Public-Key Model
Sort
View
MM
2009
ACM
169views Multimedia» more  MM 2009»
16 years 28 days ago
Visual speaker localization aided by acoustic models
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
Gerald Friedland, Chuohao Yeo, Hayley Hung
IPSN
2005
Springer
15 years 12 months ago
Statistical model of lossy links in wireless sensor networks
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...
Alberto Cerpa, Jennifer L. Wong, Louane Kuang, Mio...
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
15 years 12 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
ICMI
2004
Springer
151views Biometrics» more  ICMI 2004»
15 years 11 months ago
Multimodal model integration for sentence unit detection
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...
Mary P. Harper, Elizabeth Shriberg
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
15 years 11 months ago
Applying the Task-Technology Fit Model to WWW-based Procurement: Conceptualization and Measurement
This research examines the application of the tasktechnology fit (TTF) model to World Wide Web (WWW) usage for electronic commerce (EC) purposes. Conducted from corporate buyers...
Younes Benslimane, Michel Plaisent, Prosper Bernar...