740 search results - page 132 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
GISCIENCE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...
IV
2003
IEEE
14 years 3 months ago
2003
IEEE
The process of analyzing and using information is often collaborative in nature especially given the broad and multi-disciplinary tasks that we must support today. Collaboration r...
ISNN
2010
Springer
14 years 2 months ago
2010
Springer
Preference elicitation (PE) is an important component of interactive decision support systems that aim to make optimal recommendations to users by actively querying their preferen...
FLAIRS
2007
14 years 1 days ago
2007
In this paper, we focus on the ontological concept extraction and evaluation process from HTML documents. In order to improve this process, we propose an unsupervised hierarchical...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...