22909 search results - page 47 / 4582 » A System of Interaction and Structure |
133
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
140
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
157
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
130
click to vote
JCDL
2004
ACM
15 years 9 months ago
2004
ACM
We developed two browsers to support large personal photo collections on PDAs. Our first browser is based on a traditional, folder-based layout that utilizes either the user’s m...
143
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The Gene Ontology has become an extremely useful tool for the analysis of genomic data and structuring of biological knowledge. Several excellent software tools for na...