Sciweavers

1753 search results - page 263 / 351
» Reducibility of domain representations and Cantor-Weihrauch ...
Sort
View
HICSS
1994
IEEE
118views Biometrics» more  HICSS 1994»
15 years 10 months ago
A Distributed Architecture for an Instructable Problem Solver
Our research goal is to design systems that enable humans to teach tedious, repetitive, simple tasks to a computer. We propose here a learner/problem solver architecture for such ...
Jacky Baltes, Bruce A. MacDonald
CHI
1992
ACM
15 years 10 months ago
A Computational Model of Skilled Use of a Graphical User Interface
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
Muneo Kitajima, Peter G. Polson
IEAAIE
1994
Springer
15 years 10 months ago
Large-Scale Machine Translation: An Interlingua Approach
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
Deryle W. Lonsdale, Alexander Franz, John R. R. Le...
ICML
1989
IEEE
15 years 10 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
ECOOP
2010
Springer
15 years 10 months ago
Embedding Languages without Breaking Tools
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz