Sciweavers

580 search results - page 38 / 116
» Expressive policy analysis with enhanced system dynamicity
Sort
View
EKAW
1999
Springer
15 years 1 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
WOB
2004
233views Bioinformatics» more  WOB 2004»
14 years 11 months ago
Recent Advances in Gene Expression Data Clustering: A Case Study with Comparative Results
Several advanced techniques have been proposed for data clustering and many of them have been applied to gene expression data, with partial success. The high dimensionality and the...
George Barreto Bezerra, Geraldo M. A. Cança...
FORMATS
2007
Springer
15 years 1 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
HYBRID
1994
Springer
15 years 1 months ago
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...
BC
2004
102views more  BC 2004»
14 years 9 months ago
Analysis of mechanical impedance in human arm movements using a virtual tennis system
The dynamic characteristics of human upper extremities are usually expressed by mechanical impedance. Although many studies have discussed human impedance characteristics, there ar...
Toshio Tsuji, Yusaku Takeda, Yoshiyuki Tanaka