Sciweavers

1667 search results - page 65 / 334
» Extended clause learning
Sort
View
HCI
2009
13 years 6 months 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...
EXPERT
2008
134views more  EXPERT 2008»
13 years 9 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,...
ICML
1989
IEEE
14 years 1 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
SOFSEM
1999
Springer
14 years 1 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»
14 years 9 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