5550 search results - page 677 / 1110 » Different Approaches to Proof Systems |
194
click to vote
GCC
2005
Springer
16 years 20 days ago
2005
Springer
DarGridâ…ˇ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
181
click to vote
XPU
2005
Springer
16 years 18 days ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
185
click to vote
BTW
2005
Springer
16 years 18 days ago
2005
Springer
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...
179
click to vote
RT
2004
Springer
16 years 15 days ago
2004
Springer
This paper introduces a programmable approach to non-photorealistic line drawing from 3D models, inspired by programmable shaders in traditional rendering. We propose a new image ...
201
click to vote
SEKE
2004
Springer
16 years 15 days ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...