15754 search results - page 501 / 3151 » Programs are Knowledge Bases |
160
click to vote
IJCAI
1997
15 years 8 months ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
166
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
197
click to vote
EUROMED
2010
2010
Architectural Heritage Online: Ontology-Driven Website Generation for World Heritage Sites in Danger
15 years 5 months ago
We introduce an online knowledge base for semantic representation and annotation of a world heritage site in danger. For this purpose we designed ontology inside the protégé tool...
166
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...
206
click to vote
APLAS
2003
ACM
16 years 8 days ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...