8982 search results - page 1438 / 1797 » Applications of Aglet Technology |
248
click to vote
MKM
2004
Springer
16 years 28 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
174
click to vote
PET
2004
Springer
16 years 28 days ago
2004
Springer
Internet computing technologies, like grid computing, enable a weak computational device connected to such a grid to be less limited by its inadequate local computational, storage,...
244
click to vote
SAMOS
2004
Springer
16 years 28 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
202
click to vote
SEMWEB
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Building user-friendly GUIs for browsing and filtering RDF/S description bases while exploiting in a transparent way the expressiveness of declarative query/view language...
206
click to vote
SEMWEB
2004
Springer
16 years 28 days ago
2004
Springer
We argue that in a distributed context, such as the Semantic Web, ontology engineers and data creators often cannot control (or even imagine) the possible uses their data or ontolo...