Sciweavers

70 search results - page 6 / 14
» flairs 2000
Sort
View
FLAIRS
2000
13 years 11 months ago
Defining and Monitoring Knowledge Integrity
Knowledgemanagementhas been claimed as the correct response to rapid change. Decisions need to be madein light of up to date knowledge. The changing nature of the knowledgeraises ...
Fatma Mili, Krish Narayanan, Vamsi Atluri
FLAIRS
2000
13 years 11 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
FLAIRS
2000
13 years 11 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
FLAIRS
2000
13 years 11 months ago
An Ontology as Domain Model in a Web-Based Educational System for Prolog
In the first section wegive a very short surveyon current researchon web-basededucationalsystemsand relatedproblems.Inthesecondsectionwearguethat knowledgerepresentationandontolog...
Christoph Peylo, Wilfried Teiken, Claus-Rainer Rol...
FLAIRS
2000
13 years 11 months ago
Partitioning Sets with Genetic Algorithms
We first revisit a problem in the literature of genetic algorithms: arranging numbers into groups whose summed weights are as nearly equal as possible. We provide a new genetic al...
William A. Greene