Sciweavers

2740 search results - page 108 / 548
» Typing the Specialization Interface
Sort
View
AIED
2007
Springer
15 years 7 months ago
Benefits of Handwritten Input for Students Learning Algebra Equation Solving
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
AUIC
2003
IEEE
15 years 6 months ago
Get a Way Back: Evaluating Retrieval from History Lists
Many user interfaces include history lists that help users retrieve temporally ordered information such as previously visited web pages, email messages, and recently used files. ...
Michael Jasonsmith, Andy Cockburn
82
Voted
ATAL
2004
Springer
15 years 6 months ago
Time-Variant Distributed Agent Matching Applications
The process of pair partnership formation is an important infrastructure for many plausible MAS applications. Each agent evaluates potential partner agents, where each potential m...
David Sarne, Sarit Kraus
ESOP
2003
Springer
15 years 6 months ago
Tagging, Encoding, and Jones Optimality
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
Olivier Danvy, Pablo E. Martínez Lóp...
113
Voted
ROOM
2000
15 years 2 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...