1664 search results - page 123 / 333 » Towards Partial Reasoning |
133
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
129
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
109
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
117
click to vote
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...
173
Voted
SIGMOD
2008
ACM
16 years 29 days ago
2008
ACM
Current approaches to develop information extraction (IE) programs have largely focused on producing precise IE results. As such, they suffer from three major limitations. First, ...