740 search results - page 28 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
BICOB
2009
Springer
14 years 13 days ago
2009
Springer
Protein-protein interaction plays critical roles in cellular functions. In this work, we propose a computational method to predict protein-protein interaction by using support vec...
ECTEL
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...
PACT
2005
Springer
14 years 1 months ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
A novel low-computation discriminative feature space is introduced for facial expression recognition capable of robust performance over a rang of image resolutions. Our approach i...