Sciweavers

1057 search results - page 34 / 212
» its 1998
Sort
View
ASIAN
1998
Springer
101views Algorithms» more  ASIAN 1998»
15 years 10 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»
15 years 10 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
15 years 10 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
15 years 10 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
15 years 10 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