15754 search results - page 288 / 3151 » Programs are Knowledge Bases |
170
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
Oil well drilling is a complex process which frequently leads to operational problems. In order to deal with some of these problems, knowledge intensive case based reasoning (KiCBR...
197
click to vote
ACSW
2007
15 years 8 months ago
2007
A semantically driven Virtual Organisation (VO) model for predicting important events for coral reefs is presented – the Semantic Reef. The model is an application of a Semantic...
140
click to vote
IJCAI
2007
15 years 8 months ago
2007
This paper presents a novel approach for extracting high-quality <thread-title, reply> pairs as chat knowledge from online discussion forums so as to efficiently support the...
183
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
167
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Motivated by the question of basing cryptographic protocols on stateless tamper-proof hardware tokens, we revisit the question of unconditional two-prover zero-knowledge proofs fo...