Sciweavers

1466 search results - page 208 / 294
» ABL: Alignment-Based Learning
Sort
View
WWW
2001
ACM
16 years 1 months ago
Intelligent crawling on the World Wide Web with arbitrary predicates
The enormous growth of the world wide web in recent years has made it important to perform resource discovery e ciently. Consequently, several new ideas have been proposed in rece...
Charu C. Aggarwal, Fatima Al-Garawi, Philip S. Yu
185
Voted
POPL
2002
ACM
16 years 27 days ago
Mining specifications
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
Glenn Ammons, James R. Larus, Rastislav Bodí...
IUI
2009
ACM
15 years 9 months ago
Detecting and correcting user activity switches: algorithms and interfaces
The TaskTracer system allows knowledge workers to define a set of activities that characterize their desktop work. It then associates with each user-defined activity the set of ...
Jianqiang Shen, Jed Irvine, Xinlong Bao, Michael G...
103
Voted
HAPTICS
2009
IEEE
15 years 7 months ago
Haptic stiffness identification by veterinarians and novices: A comparison
Palpation is important in both veterinary and medical health professions. It is however difficult to learn, teach and assess. More must be understood about the skills involved in ...
Neil Forrest, Sarah Baillie, Hong Z. Tan
AGS
2009
Springer
15 years 7 months ago
Intelligent Agent Modeling as Serious Game
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
D. W. F. van Krevelen