886 search results - page 173 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Understanding intents from search queries can improve a user’s search experience and boost a site’s advertising profits. Query tagging via statistical sequential labeling mode...
TCSV
2008
14 years 9 months ago
2008
This paper presents a bottom-up approach that combines audio and video to simultaneously locate individual speakers in the video (2-D source localization) and segment their speech ...
111
click to vote
RAID
2009
Springer
15 years 4 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often ...
114
click to vote
SI3D
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...