Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,161,311 papers from all fields of science
Search
Sign In
Create Free Account
Interactive computing
Known as:
Interactive data processing
, Interactive program
In computer science, interactive computing refers to software which accepts input from humans as it runs. Interactive software includes most popular…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Aspen Movie Map
Batch processing
Compiler
Computer science
Expand
Broader (1)
Human–computer interaction
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
VeriFast: Imperative Programs as Proofs
B. Jacobs
,
Jan Smans
,
Frank Piessens
2010
Corpus ID: 759671
This paper describes the VeriFast prototype program verification tool, which implements a separation-logic-based approach for the…
Expand
Review
2008
Review
2008
From WebEx to NavEx: Interactive Access to Annotated Program Examples
Peter Brusilovsky
,
M. Yudelson
Proceedings of the IEEE
2008
Corpus ID: 14258952
This paper reviews our work on providing students interactive access to annotated program examples. We review our experience with…
Expand
2004
2004
The MathSigner: an interactive learning tool for American sign language
N. Adamo-Villani
,
John Doublestein
,
Zachary Martin
Proceedings. Eighth International Conference on…
2004
Corpus ID: 17723817
We present a new highly interactive program to teach American sign language (ASL) for K-3 mathematics by 3D animation. We aim at…
Expand
1997
1997
The System of Objectified Judgement Analysis (SOJA)
R. Janknegt
,
A. Steenhoek
Drugs
1997
Corpus ID: 46971439
SummaryRational drug selection for formulary purposes is important. Besides rational selection criteria, other factors play a…
Expand
1990
1990
EMP-AMPH—a hypercard program determine the name of an amphibole for electron microprobe analysis according to the international mineralogical association scheme
A. Mogessie
,
R. Tessadri
,
C. B. Veltman
1990
Corpus ID: 62651494
1986
1986
COATS: an Expert Module for Optimal Tool Selection
F. Giusti
,
M. Santochi
,
G. Dini
1986
Corpus ID: 62524450
1985
1985
Diagnosis of Wastewater Treatment Processes
D. Johnston
1985
Corpus ID: 196017611
This paper presents an approach to the development of an expert system for aiding the operation of an activated sludge wastewater…
Expand
Highly Cited
1983
Highly Cited
1983
Spelling correction in user interfaces
I. Durham
,
D. Lamb
,
J. Saxe
CACM
1983
Corpus ID: 15574900
The feasibility of providing a spelling corrector as a part of interactive user interfaces is demonstrated. The issues involved…
Expand
1982
1982
The message is the medium: Multiprocess structuring of an interactive paint program
Richard J. Beach
,
J. C. Beatty
,
K. Booth
,
D. A. Plebon
,
E. Fiume
International Conference on Computer Graphics and…
1982
Corpus ID: 16117344
An innovative design for an interactive paint program has been developed based on multiple processes and message passing…
Expand
Highly Cited
1981
Highly Cited
1981
The technology of interaction—dialogue programming rules
B. Gaines
1981
Corpus ID: 60670730
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE