1547 search results - page 128 / 310 » The Isabelle Collections Framework |
121
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we propose a system of design patterns for Web navigation. We have collected patterns already published in the literature, selected ten of them, refined th...
134
click to vote
MLCW
2005
Springer
15 years 9 months ago
2005
Springer
Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another. This is a fundamental problem in natural language understanding that ...
130
click to vote
ADVIS
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
125
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
138
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
We present KADOP, a distributed infrastructure for warehousing XML resources in a peer-to-peer framework. KADOP allows users to build a shared, distributed repository of resources...