Sciweavers

6881 search results - page 1288 / 1377
» Motivation
Sort
View
JMLR
2008
100views more  JMLR 2008»
15 years 6 months ago
Hit Miss Networks with Applications to Instance Selection
In supervised learning, a training set consisting of labeled instances is used by a learning algorithm for generating a model (classifier) that is subsequently employed for decidi...
Elena Marchiori
JMLR
2008
124views more  JMLR 2008»
15 years 6 months ago
Learning Control Knowledge for Forward Search Planning
A number of today's state-of-the-art planners are based on forward state-space search. The impressive performance can be attributed to progress in computing domain independen...
Sung Wook Yoon, Alan Fern, Robert Givan
JAR
2006
236views more  JAR 2006»
15 years 6 months ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
JAR
2006
94views more  JAR 2006»
15 years 6 months ago
Answer Set Programming Based on Propositional Satisfiability
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
JASIS
2006
140views more  JASIS 2006»
15 years 6 months ago
Relevance criteria identified by health information users during Web searches
This study focused on the relevance judgments made by health information users using the Web. Health information users were conceptualized as motivated information users concerned...
Abe Crystal, Jane Greenberg
« Prev « First page 1288 / 1377 Last » Next »