Sciweavers

786 search results - page 44 / 158
» Adequacy of Limited Testing for Knowledge Based Systems
Sort
View
RTCSA
1999
IEEE
15 years 5 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
PRIMA
2007
Springer
15 years 7 months ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida
117
Voted
SOCIALCOM
2010
14 years 11 months ago
Facilitating Knowledge Exploration in Folksonomies: Expertise Ranking by Link and Semantic Structures
We developed user models of knowledge exploration in a social tagging system to test the expertise rankings generated by a link-structure method and a semantic-structure method. Th...
Wai-Tat Fu, Wei Dong
EWCBR
2000
Springer
15 years 5 months ago
Maintaining Case-Based Reasoning Systems Using Fuzzy Decision Trees
This paper proposes a methodology of maintaining Case Based Reasoning (CBR) systems by using fuzzy decision tree induction - a machine learning technique. The methodology is mainly...
Simon C. K. Shiu, Cai Hung Sun, Xizhao Wang, Danie...
HOLOMAS
2007
Springer
15 years 3 months ago
Holonic Multiagent-Based System for Distributed Control of Semi-industrial Pilot Plants
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...
Mieczyslaw Metzger, Grzegorz Polaków