Sciweavers

3818 search results - page 392 / 764
» Learning from Order Examples
Sort
View
CHI
1998
ACM
15 years 8 months ago
Adapting User Interface Design Methods to the Design of Educational Activities
considered simply, but a more complex evaluation of the effects of performing the tasks. For example, an educational activity that learners complete quickly and accurately is of no...
Clayton Lewis, Cathy Brand, Gina Cherry, Cyndi Rad...
AAAI
2007
15 years 6 months ago
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language
Examples of figurative language can range from the explicit and the obvious to the implicit and downright enigmatic. Some simpler forms, like simile, often wear their meanings on...
Tony Veale, Yanfen Hao
EHCI
2004
15 years 5 months ago
Finding Iteration Patterns in Dynamic Web Page Authoring
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
José A. Macías, Pablo Castells
ECAI
2006
Springer
15 years 7 months ago
Preference Representation with 3-Points Intervals
In this article we are interested in the representation of qualitative preferences with the help of 3-points intervals (a vector of three increasingly ordered points). Preferences ...
Meltem Öztürk, Alexis Tsoukiàs
140
Voted
AAECC
2005
Springer
128views Algorithms» more  AAECC 2005»
15 years 4 months ago
The size-change principle and dependency pairs for termination of term rewriting
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
René Thiemann, Jürgen Giesl