Sciweavers

265 search results - page 34 / 53
» Learning to Support Constraint Programmers
Sort
View
CIKM
2009
Springer
15 years 4 months ago
Enabling multi-level relevance feedback on pubmed by integrating rank learning into DBMS
Background: Finding relevant articles from PubMed is challenging because it is hard to express the user’s specific intention in the given query interface, and a keyword query ty...
Hwanjo Yu, Taehoon Kim, Jinoh Oh, Ilhwan Ko, Sungc...
PLDI
2010
ACM
15 years 7 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
SG
2005
Springer
15 years 3 months ago
VR-Mirror: A Virtual Reality System for Mental Practice in Post-Stroke Rehabilitation
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
José Antonio Lozano, Javier Montesa, Mari C...
59
Voted
JOCN
2011
80views more  JOCN 2011»
14 years 4 months ago
Neural Changes Associated with Nonspeech Auditory Category Learning Parallel Those of Speech Category Acquisition
■ Native language experience plays a critical role in shaping speech categorization, but the exact mechanisms by which it does so are not well understood. Investigating category...
Ran Liu, Lori L. Holt
POPL
2002
ACM
15 years 10 months ago
Functional logic overloading
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
Matthias Neubauer, Peter Thiemann, Martin Gasbichl...