7991 search results - page 615 / 1599 » Using More Reasoning to Improve |
191
Voted
CARS
2004
15 years 8 months ago
2004
An automatic computer-aided detection system is developed for detecting pulmonary nodules from high resolution CT data. The system is based on the concept of machine learning. A ro...
193
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
198
click to vote
ICMAS
2000
15 years 8 months ago
2000
Online auctions are becoming an increasingly important channel for electronic commerce. There exist more than 150 online auction sites on the Internet. It is difficult for users t...
190
click to vote
PDSE
2000
15 years 8 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
190
click to vote
IJCAI
1993
15 years 8 months ago
1993
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...