Sciweavers

5847 search results - page 525 / 1170
» Visualization of Knowledge Structures
Sort
View
ECEASST
2006
72views more  ECEASST 2006»
15 years 7 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
VISUALIZATION
2002
IEEE
16 years 16 hour ago
Rendering The First Star In The Universe - A Case Study
For quantitative examination of phenomena that simultaneously occur on very different spatial and temporal scales, adaptive hierarchical schemes are required. A special numerical ...
Ralf Kähler, Donna Cox, Robert Patterson, Stu...
ATAL
2005
Springer
16 years 20 days ago
Towards a functional ontology of reputation
This paper proposes a functional ontology of reputation for agents. The goal of this ontology is twofold. First, to put together the broad knowledge about reputation produced in s...
Sara J. Casare, Jaime Simão Sichman
CIKM
2005
Springer
16 years 19 days ago
A robot ontology for urban search and rescue
The goal of this Robot Ontology effort is to develop and begin to populate a neutral knowledge representation (the data structures) capturing relevant information about robots and...
Craig Schlenoff, Elena Messina
ISPA
2005
Springer
16 years 18 days ago
Implementation of Cooperative Cognition Under Web Environment
Since cognition could be treated as problem-solving issues based on dynamical knowledge transferring and propagation, the meta-learning and group learning are put forward in confor...
Wan-Chun Dou, Guihai Chen, Feng Su, Shijie Cai