default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Computing Surveys, Volume 41
Volume 41, Number 1, December 2008
- Jens Bleiholder, Felix Naumann
:
Data fusion. 1:1-1:41 - Andy Cockburn, Amy K. Karlson, Benjamin B. Bederson:
A review of overview+detail, zooming, and focus+context interfaces. 2:1-2:31 - Michael Benedikt, Christoph Koch:
XPath leashed. 3:1-3:54 - Richard B. Borie, R. Gary Parker, Craig A. Tovey:
Solving problems on recursively constructed graphs. 4:1-4:51 - Jose Antonio Onieva, Jianying Zhou, Javier López:
Multiparty nonrepudiation: A survey. 5:1-5:43 - Kate Smith-Miles:
Cross-disciplinary perspectives on meta-learning for algorithm selection. 6:1-6:25 - Besma R. Abidi, Nash R. Aragam, Yi Yao, Mongi A. Abidi:
Survey and analysis of multimodal sensor planning and integration for wide area surveillance. 7:1-7:36
Volume 41, Number 2, February 2009
- Nathan Brown:
Chemoinformatics - an introduction for computer scientists. 8:1-8:38 - Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
Using formal specifications to support testing. 9:1-9:76 - Roberto Navigli:
Word sense disambiguation: A survey. 10:1-10:69 - Alicia Iriberri, Gondy Leroy:
A life-cycle perspective on online community success. 11:1-11:29 - Xiaoguang Qi, Brian D. Davison:
Web page classification: Features and algorithms. 12:1-12:31 - Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Comments on temporal logics for real-time system specification. 13:1-13:5
Volume 41, Number 3, July 2009
- Gary H. Sockut, Balakrishna R. Iyer:
Online reorganization of databases. 14:1-14:136 - Varun Chandola, Arindam Banerjee, Vipin Kumar:
Anomaly detection: A survey. 15:1-15:58 - Carlo Batini, Cinzia Cappiello, Chiara Francalanci, Andrea Maurino:
Methodologies for data quality assessment and improvement. 16:1-16:52 - Claudio Carpineto, Stanislaw Osinski, Giovanni Romano, Dawid Weiss:
A survey of Web clustering engines. 17:1-17:38
Volume 41, Number 4, October 2009
- C. A. R. Hoare, Jayadev Misra:
Preface to special issue on software verification. 18:1-18:3 - Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald:
Formal methods: Practice and experience. 19:1-19:36 - Natarajan Shankar:
Automated deduction for verification. 20:1-20:56 - Ranjit Jhala, Rupak Majumdar:
Software model checking. 21:1-21:54 - C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar:
The verified software initiative: A manifesto. 22:1-22:8
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
