37 search results - page 7 / 8 » What do we mean by theoretically sound research in computer ... |
BIB
2006
13 years 5 months ago
2006
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
IMSCCS
2006
IEEE
13 years 11 months ago
2006
IEEE
Microarray technology is a powerful biotechnology tool which allows researchers to simultaneously evaluate the expression of thousands of genes, if not the entire expressed genome...
VLDB
2006
ACM
14 years 5 months ago
2006
ACM
Abstract We explore the problem of portable and flexible privacy preserving access rights that permit access to a large collection of digital goods. Privacy-preserving access contr...
ECIR
2009
Springer
14 years 2 months ago
2009
Springer
Document retrieval systems conventionally use words as the basic unit of representation, a natural choice since words are primary carriers of semantic information. In this paper w...
IGPL
2008
13 years 4 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...