Sciweavers

475 search results - page 54 / 95
» Ad-Hoc Knowledge Engineering with Semantic Knowledge Wikis
Sort
View
ICSE
1987
IEEE-ACM
15 years 7 months ago
Software Interconnection Models
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
Dewayne E. Perry
124
Voted
ICALT
2007
IEEE
15 years 10 months ago
An Automatic Quiz Generation System for English Text
In this study, we design and prototype an automatic quiz generation system (auto-quiz for short) for a given English text to test learner comprehension of text content and English...
Li-Chun Sung, Yi-Chien Lin, Meng Chang Chen
COOPIS
2002
IEEE
15 years 8 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
240
Voted
ICDE
2008
IEEE
129views Database» more  ICDE 2008»
16 years 5 months ago
Optimal Boolean Matrix Decomposition: Application to Role Engineering
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
Haibing Lu, Jaideep Vaidya, Vijayalakshmi Atluri
139
Voted
DLOG
2004
15 years 5 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...