Sciweavers

342 search results - page 35 / 69
» Coalgebraic Symbolic Semantics
Sort
View
AAAI
1994
13 years 11 months ago
An Operational Semantics for Knowledge Bases
The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as aknowledge base. A...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
MICCAI
2008
Springer
14 years 11 months ago
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
Ammar Mechouche, Xavier Morandi, Christine Golbr...
SEMWIKI
2008
154views Data Mining» more  SEMWIKI 2008»
13 years 11 months ago
Flyspeck in a Semantic Wiki
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
Christoph Lange 0002, Sean McLaughlin, Florian Rab...
ICIP
2003
IEEE
14 years 11 months ago
Adaptive rule-based recognition of events in video sequences
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
Vassilis Tzouvaras, Gabriel Tsechpenakis, Giorgos ...
IJCAI
2007
13 years 11 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...