Sciweavers

9382 search results - page 1717 / 1877
» A Functional Model for Data Analysis
Sort
View
CAV
2005
Springer
150views Hardware» more  CAV 2005»
15 years 10 months ago
Reasoning About Threads Communicating via Locks
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
Vineet Kahlon, Franjo Ivancic, Aarti Gupta
CIVR
2010
Springer
276views Image Analysis» more  CIVR 2010»
15 years 9 months ago
Optimizing visual search with implicit user feedback in interactive video retrieval
This paper describes an approach to optimize query by visual example results, by combining visual features and implicit user feedback in interactive video retrieval. To this end, ...
Stefanos Vrochidis, Ioannis Kompatsiaris, Ioannis ...
181
Voted
HICSS
2007
IEEE
156views Biometrics» more  HICSS 2007»
15 years 11 months ago
KnowFlow - A Hybrid Approach to Identifying and Visualizing Distributed Knowledge Work Practices
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
Markus Strohmaier, Stefanie N. Lindstaedt
147
Voted
KDD
2009
ACM
232views Data Mining» more  KDD 2009»
15 years 9 months ago
Probabilistic latent semantic user segmentation for behavioral targeted advertising
Behavioral Targeting (BT), which aims to deliver the most appropriate advertisements to the most appropriate users, is attracting much attention in online advertising market. A ke...
Xiaohui Wu, Jun Yan, Ning Liu, Shuicheng Yan, Ying...
SIGIR
2010
ACM
15 years 8 months ago
Entity information management in complex networks
Entity information management (EIM) is a nascent IR research area that investigates the information management process about entities instead of documents. It is motivated by the ...
Yi Fang
« Prev « First page 1717 / 1877 Last » Next »