1729 search results - page 289 / 346 » Practical Temporal Projection |
JUCS
2007
13 years 7 months ago
2007
: Creation of rich, ontology-based metadata is one of the major challenges in developing the Semantic Web. Emerging applications utilizing semantic web techniques, such as semantic...
IJAIT
2002
13 years 7 months ago
2002
The WEBSOM methodology for building very large text archives has a very slow method for extracting meaningful unit labels. This is because the method computes for the relative fre...
JCISE
2002
13 years 7 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
JSC
2002
13 years 7 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...