220 search results - page 26 / 44 » Using Difference Reduction for Generic Proof Search |
ECTEL
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Current Learning Management Systems were typically conceived to offer a self-contained "one size fits all" learning environment. Adaptive educational systems ha...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...
SIAMCOMP
2000
13 years 7 months ago
2000
We present a linear programming-based method for nding \gadgets", i.e., combinatorial structures reducing constraints of one optimization problem to constraints of another. A...