1636 search results - page 277 / 328 » Type-Theoretic Functional Semantics |
112
click to vote
DBISP2P
2005
Springer
15 years 5 months ago
2005
Springer
We propose a novel approach for de ning and querying a super-peer within a schema-based super-peer network organized into a two-level architecture: the low level, called the peer l...
DSOM
2005
Springer
15 years 5 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
Web page clustering is a technology that puts semantically related web pages into groups and is useful for categorizing, organizing, and refining search results. When clustering ...
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
The ‘graphicacy’ of student programmers was investigated using several cognitive tasks designed to assess ER knowledge representation at the perceptual, semantic and output lev...
107
click to vote
EKAW
2004
Springer
15 years 5 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...