Sciweavers

4872 search results - page 583 / 975
» CBR for Modeling Complex Systems
Sort
View
ACG
2009
Springer
16 years 1 months ago
Data Assurance in Opaque Computations
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
Joe Hurd, Guy Haworth
CEC
2008
IEEE
16 years 1 months ago
Real-time evolution of an embedded controller for an autonomous helicopter
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
Benjamin N. Passow, Mario A. Góngora, S. Co...
ICA3PP
2007
Springer
16 years 1 months ago
RSM-Based Gossip on P2P Network
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
Hai Zhuge, Xiang Li
SEMWEB
2007
Springer
16 years 29 days ago
An Approach to Capture Design-induced Error Using an Ontology
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
Injae Shin, Sanghee Kim, Chris A. McMahon
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
16 years 27 days ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris