740 search results - page 44 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
– The service robot supports people in their daily activities, while the interaction between humans and robots seems to be an important part of its performance. Dialogue may be b...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
In this paper, a novel method of relevance feedback is presented based on Support Vector Machine learning in the content-based image retrieval system. A SVM classifier can be lear...
CSCWD
2007
Springer
14 years 2 months ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...