Sciweavers

4835 search results - page 66 / 967
» Intelligent Selection Tools
Sort
View
FLAIRS
2000
15 years 7 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...
AIED
2007
Springer
16 years 10 days ago
Standard-Compliant Scenario Building with Theoretical Justification in a Theory-Aware Authoring Tool
Nowadays standard technologies play important roles in enhancing sharability, reusability and interoperability of learning contents. However, there is a lack of pedagogical justifi...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...
PACT
2005
Springer
15 years 11 months ago
Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools
Abstract. In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of th...
Dana Petcu, Marcin Paprzycki, Maria Ganzha
ICTAI
1994
IEEE
15 years 10 months ago
A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay
: A software maintenance methodology, The Software Service Bay, is introduced. This methodology is analogous to the automotive service bay which employs a number of experts for par...
Jonathan I. Maletic, Robert G. Reynolds
AMAI
1998
Springer
15 years 5 months ago
Nonmonotonic Reasoning with Multiple Belief Sets
ns. Finally, we study abstract properties of selection operators connected to belief set operators, which are used to choose some of the possible belief sets.
Joeri Engelfriet, Heinrich Herre, Jan Treur