1746 search results - page 228 / 350 » A Constructive Semantics for ALC |
100
click to vote
VL
2002
IEEE
15 years 5 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
85
Voted
COSIT
2009
Springer
15 years 5 months ago
2009
Springer
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
118
Voted
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
We propose a new ensembling method of Support Vector Machines (SVMs) based on Feature Space Restructuring. In the proposed method, the weighted majority voting method is applied f...
80
Voted
OOPSLA
2001
Springer
15 years 5 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
94
Voted
TSD
2001
Springer
15 years 5 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...