Sciweavers

2000 search results - page 26 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
ICIW
2007
IEEE
15 years 9 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
PRICAI
1998
Springer
15 years 9 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
HICSS
2007
IEEE
181views Biometrics» more  HICSS 2007»
15 years 11 months ago
Potentials of Social Networks for Knowledge Management with Regard to the Development of Stable Competences and Dynamic Capabili
In order to balance the tensions of the concepts of organizational core competencies and dynamic capability we introduce social knowledge networks as a strategic means from a know...
Harald F. O. von Kortzfleisch, Ines Mergel, Christ...
145
Voted
IJCAI
1997
15 years 6 months ago
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
G. M. Shiraz, Claude Sammut
153
Voted
ICSE
2010
IEEE-ACM
15 years 10 months ago
From behaviour preservation to behaviour modification: constraint-based mutant generation
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
Friedrich Steimann, Andreas Thies