Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 41 Issue 2, February 2009

Chemoinformatics—an introduction for computer scientists
Nathan Brown
Article No.: 8
DOI: 10.1145/1459352.1459353

Chemoinformatics is an interface science aimed primarily at discovering novel chemical entities that will ultimately result in the development of novel treatments for unmet medical needs, although these same methods are also applied in other...

Using formal specifications to support testing
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
Article No.: 9
DOI: 10.1145/1459352.1459354

Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as...

Word sense disambiguation: A survey
Roberto Navigli
Article No.: 10
DOI: 10.1145/1459352.1459355

Word sense disambiguation (WSD) is the ability to identify the meaning of words in context in a computational manner. WSD is considered an AI-complete problem, that is, a task whose solution is at least as hard as the most difficult problems in...

A life-cycle perspective on online community success
Alicia Iriberri, Gondy Leroy
Article No.: 11
DOI: 10.1145/1459352.1459356

Using the information systems lifecycle as a unifying framework, we review online communities research and propose a sequence for incorporating success conditions during initiation and development to increase their chances of becoming a successful...

Web page classification: Features and algorithms
Xiaoguang Qi, Brian D. Davison
Article No.: 12
DOI: 10.1145/1459352.1459357

Classification of Web page content is essential to many tasks in Web information retrieval such as maintaining Web directories and focused crawling. The uncontrolled nature of Web content presents additional challenges to Web page classification...

Comments on temporal logics for real-time system specification
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Article No.: 13
DOI: 10.1145/1459352.1459358

The article “Temporal Logics for Real-Time System Specification” surveys some of the relevant literature dealing with the use of temporal logics for the specification of real-time systems. Unfortunately, it introduces some imprecisions...