Sciweavers

462 search results - page 33 / 93
» A Conceptual Modelling Pattern for Roles
Sort
View
167
Voted
COLT
2000
Springer
15 years 7 months ago
The Role of Critical Sets in Vapnik-Chervonenkis Theory
In the present paper, we present the theoretical basis, as well as an empirical validation, of a protocol designed to obtain effective VC dimension estimations in the case of a si...
Nicolas Vayatis
174
Voted
LPAR
1999
Springer
15 years 8 months ago
Practical Reasoning for Expressive Description Logics
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
146
Voted
COMPUTER
2006
87views more  COMPUTER 2006»
15 years 3 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
124
Voted
ICPR
2000
IEEE
15 years 8 months ago
Is Pattern Recognition a Physical Science?
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
Jean Serra
125
Voted
ER
2006
Springer
99views Database» more  ER 2006»
15 years 7 months ago
Ontology with Likeliness and Typicality of Objects in Concepts
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
Ching-man Au Yeung, Ho-fung Leung