2599 search results - page 108 / 520 » An Operational Semantics for Knowledge Bases |
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: When planning teams for projects with specific goals, employees of a company have to group together so well, that all necessary knowledge for conquering the project’s ...
129
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
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...
175
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
138
Voted
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
141
click to vote
TSMC
2010
14 years 11 months ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...