Sciweavers

1057 search results - page 34 / 212
» its 1998
Sort
View
ASIAN
1998
Springer
101views Algorithms» more  ASIAN 1998»
14 years 2 months ago
The Rewriting Calculus as a Semantics of ELAN
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
Horatiu Cirstea, Claude Kirchner
ASIAN
1998
Springer
105views Algorithms» more  ASIAN 1998»
14 years 2 months ago
Two Flavors of Offline Partial Evaluation
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
Simon Helsen, Peter Thiemann
ASSISTIVE
1998
Springer
14 years 2 months ago
Wheelesley: A Robotic Wheelchair System: Indoor Navigation and User Interface
Many people who use wheelchairs are unable to control a powered wheelchair with the standard joystick interface. A robotic wheelchair can provide users with driving assistance, tak...
Holly A. Yanco
COLT
1998
Springer
14 years 2 months ago
Cross-Validation for Binary Classification by Real-Valued Functions: Theoretical Analysis
This paper concerns the use of real-valued functions for binary classification problems. Previous work in this area has concentrated on using as an error estimate the `resubstitut...
Martin Anthony, Sean B. Holden
UIST
1998
ACM
14 years 2 months ago
Integrating Pen Operations for Composition by Example
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...
Toshiyuki Masui