15754 search results - page 2925 / 3151 » Programs are Knowledge Bases |
167
click to vote
CADE
2007
Springer
16 years 9 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
168
click to vote
CIKM
2007
Springer
16 years 9 days ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
175
click to vote
CIVR
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we present the FOX-MIIRE 3D-Model Search Engine. Our search engine is based on Adaptive Views Vlustering (AVC) algorithm [4]. The AVC method uses statistical model ...
179
Voted
ECTEL
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
169
Voted
ECTEL
2007
Springer
16 years 9 days ago
2007
Springer
Blogs have the aordance to become an integral part of teaching and learning processes as a vehicle for knowledge management. Open, exible systems integrating blogs provide user-f...