3758 search results - page 385 / 752 » A Complete Subsumption Algorithm |
180
Voted
ESSLLI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
192
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper evaluates the congestion control performance of Pseudofed, a congestion-controlled, reliable multicast transport protocol for bulk data transfer. Pseudofed's conge...
198
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
An innovative technique for segmentation of color images is proposed. The technique implements an approach based on thresholding of the hue histogram. A new function for detecting...
171
click to vote
AI
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents and evaluates sequential instance-based learning (SIBL), an approach to action selection based upon data gleaned from prior problem solving experiences. SIBL le...
165
click to vote
ECML
1998
Springer
15 years 11 months ago
1998
Springer
Feature selection is a problem of choosing a subset of relevant features. Researchers have been searching for optimal feature selection methods. `Branch and Bound' and Focus a...