7335 search results - page 1272 / 1467 » Scene Based Reasoning |
160
click to vote
ISTA
2004
15 years 7 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
151
click to vote
IJCAI
2001
15 years 7 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
164
click to vote
ECIS
2003
15 years 7 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...
176
click to vote
ECIS
2003
15 years 7 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
159
click to vote
EON
2003
15 years 7 months ago
2003
Abstract. OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool. It combines a sophisticated graphical layout with mouse enabled editing features optimi...