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 2 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 1 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 1 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 1 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 1 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