Sciweavers

1667 search results - page 65 / 334
» Extended clause learning
Sort
View
220
Voted
HCI
2009
15 years 12 days ago
A Study on the Compatibility of Ubiquitous Learning (u-Learning) Systems at University Level
: Graz University of Technology has a long tradition in the design, development and research of university wide Learning Management Systems (LMS). Inspired by the iPhone Style, the...
Martin Ebner, Christian Stickel, Nick Scerbakov, A...
133
Voted
EXPERT
2008
134views more  EXPERT 2008»
15 years 2 months ago
Learning to Tag and Tagging to Learn: A Case Study on Wikipedia
Natural language technologies have been long envisioned to play a crucial role in transitioning from the current Web to a more "semantic" Web. If anything, the significa...
Peter Mika, Massimiliano Ciaramita, Hugo Zaragoza,...
137
Voted
ICML
1989
IEEE
15 years 6 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
143
Voted
SOFSEM
1999
Springer
15 years 7 months ago
Coherent Concepts, Robust Learning
We study learning scenarios in which multiple learners are involved and “nature” imposes some constraints that force the predictions of these learners to behave coherently. Thi...
Dan Roth, Dmitry Zelenko
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
16 years 3 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen