740 search results - page 138 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
COOPIS
2002
IEEE
14 years 9 days ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
BMCBI
2007
13 years 7 months ago
2007
Using a previously developed automated method for enzyme annotation, we report the reannotation of the ENZYME database and the analysis of local error rates per class. In control ...
GRID
2006
Springer
13 years 7 months ago
2006
Springer
The Common Instrument Middleware Architecture (CIMA) project, supported by the NSF Middleware Initiative, aims at making scientific instruments and sensors remotely accessible by ...
ICDIM
2010
IEEE
13 years 5 months ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...