1999 search results - page 270 / 400 » Finding Reductions Automatically |
101
Voted
FECS
2008
15 years 3 months ago
2008
Much research has been devoted to the study of exclusively distance-learning paradigms for teaching various technological subjects, yet many students have not been satisfied with ...
124
click to vote
IADIS
2008
15 years 3 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
119
click to vote
NLUCS
2008
15 years 3 months ago
2008
Increasingly, medical institutions have access to clinical information through computers. The need to process and manage the large amount of data is motivating the recent interest ...
104
click to vote
ACL
2006
15 years 3 months ago
2006
We propose a novel algorithm for inducing semantic taxonomies. Previous algorithms for taxonomy induction have typically focused on independent classifiers for discovering new sin...
131
click to vote
IJCAI
2003
15 years 2 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...