Alan W. Biermann

dblp:b/AWBiermann · DBLP profile ↗
← Back
27ranked-venue papers
18as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 10 · 6 first-authorHuman-computer interaction and ubiquitous computing · 9 · 7 first-authorTheory of computation · 3 · 1 first-authorSystems, architecture and hardware · 2 · 2 first-authorDatabases, data management, data science and information retrieval · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Human-computer interaction and pervasive computing
4 papers
Haptics and multimodal interaction · 62% Interaction techniques and input · 26% User interface design and tools · 7%
Artificial intelligence
1 paper
Question answering and dialogue systems · 100%
Software engineering, system software, and programming languages
4 papers
Program synthesis and code generation · 71% Programming languages and type systems · 29%
Theoretical computer science
2 papers
Automata and formal languages · 100%

Topics — the 10 heaviest of 14, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Natural language and speech › Question answering and dialogue systems
task-oriented dialogue
0.012004
Data-Driven Strategies for an Automated Dialogue System · ACL 2004
Haptics and multimodal interaction
multimodal interaction
0.011992
A Voice- and Touch-Driven Natural Language Editor and its Performance · Int. J. Man Mach. Stud. 1992
Program synthesis and code generation
natural language programming
0.011983
An Experimental Study of Natural Language Programming · Int. J. Man Mach. Stud. 1983
Program synthesis and code generation
programming by example
0.011976
Constructing Programs from Example Computations · IEEE Trans. Software Eng. 1976
Program synthesis and code generation
search-based program synthesis
0.011975
Speeding up the Synthesis of Programs from Traces · IEEE Trans. Computers 1975
Program synthesis and code generation › programming by demonstration
trace-based synthesis
0.011975
Speeding up the Synthesis of Programs from Traces · IEEE Trans. Computers 1975
Human-AI interaction › large language model interaction › language-based interaction
natural language interface
0.011983
An Experimental Study of Natural Language Programming · Int. J. Man Mach. Stud. 1983
Automata and formal languages › finite automata › sequential machines
finite state machine synthesis
0.011972
On the Synthesis of Finite-State Machines from Samples of Their Behavior · IEEE Trans. Computers 1972
Automata and formal languages
grammatical inference
0.011972
On the Synthesis of Finite-State Machines from Samples of Their Behavior · IEEE Trans. Computers 1972
Automata and formal languages
turing machines
0.011972
On the Inference of Turing Machines from Sample Computations · Artif. Intell. 1972

Methods — techniques the papers use, named apart from their topics

natural language processing · 0.0experimental study · 0.0micromodel · 0.0dialogue focus tracking · 0.0shortest program synthesis · 0.0example computation history · 0.0right-invariant equivalence relations · 0.0failure memory · 0.0enumeration reduction · 0.0
YearPublicationVenuePosition
2006 The Amities system: Data-driven techniques for automated dialogue
Hilda Hardy, Alan W. Biermann, R. Bryce Inouye, Ashley McKenzie, Tomek Strzalkowski, Cristian Ursu, Nick Webb, Min Wu 0004
Speech Commun.2
2005 Methodologies for Automated Telephone Answering
Alan W. Biermann, R. Bryce Inouye, Ashley McKenzie
ISMIS1
2004 Data-Driven Strategies for an Automated Dialogue System
abstract
We present a prototype natural-language problem-solving application for a financial services call center, developed as part of the Amitiés multilingual human-computer dialogue project. Our automated dialogue system, based on empirical evidence from real call-center conversations, features a data-driven approach that allows for mixed system/customer initiative and spontaneous conversation. Preliminary evaluation results indicate efficient dialogues and high user satisfaction, with performance comparable to or better than that of current conversational travel information systems.
Hilda Hardy, Tomek Strzalkowski, Min Wu 0004, Cristian Ursu, Nick Webb, Alan W. Biermann, R. Bryce Inouye, Ashley McKenzie
ACL6
2003 Reinforcement Learning with Immediate Rewards and Linear Hypotheses
Naoki Abe, Alan W. Biermann, Philip M. Long
Algorithmica2
1997 Goal-Oriented Multimedia Dialogue with Variable Initiative
Alan W. Biermann, Curry I. Guinn, Michael S. Fulkerson, Greg A. Keim, Douglas M. Melamed, Krishnan Rajagopalan
ISMIS1
1997 A WordNet Based Rule Generalization Engine for Meaning Extraction System
Joyce Y. Chai, Alan W. Biermann
ISMIS2
1996 Home-study software: flexible, interactive, and distributed software for independent study
abstract
Article Free Access Share on Home-study software: flexible, interactive, and distributed software for independent study Authors: Christopher Connelly Electrotechnical Laboratory, Umezono, 1-1-4,Tsukuba City, Ibaraki, Japan and Department of Computer Science, Duke University, Durham, NC Electrotechnical Laboratory, Umezono, 1-1-4,Tsukuba City, Ibaraki, Japan and Department of Computer Science, Duke University, Durham, NCView Profile , Alan W. Biermann Department of Computer Science, Duke University, Durham, NC Department of Computer Science, Duke University, Durham, NCView Profile , David Pennock Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor and Department of Computer Science, Duke University, Durham, NC Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor and Department of Computer Science, Duke University, Durham, NCView Profile , Peter Wu Microsoft Corporation, Menlo Park, CA and Department of Computer Science, Duke University, Durham, NC Microsoft Corporation, Menlo Park, CA and Department of Computer Science, Duke University, Durham, NCView Profile Authors Info & Claims SIGCSE '96: Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science educationMarch 1996Pages 63–67https://doi.org/10.1145/236452.236509Published:01 March 1996Publication History 10citation218DownloadsMetricsTotal Citations10Total Downloads218Last 12 Months30Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Christopher Connelly, Alan W. Biermann, David M. Pennock, Peter Wu
SIGCSE2
1995 An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving
Ronnie W. Smith, D. Richard Hipp, Alan W. Biermann
Comput. Linguistics3
1994 Teaching a hierarchical model of computation with animation software in the first course
abstract
In a world saturated with computers, it is important that the popnlace have some understanding of what thesedevices am, how they work, what they can do, and what they cannot do.People will not intelligently
Alan W. Biermann, Amr F. Fahmy, Curry I. Guinn, David M. Pennock, Dietolf Ramm, Peter Wu
SIGCSE1
1994 On the errors that learning machines will make
abstract
Associated with each learning system there is a class of learnable behaviors. If the target behavior to be acquired is in the learnable class, it will be learned perfectly. If it is outside that class, the machine will only be able to acquire a behavior that approximates the target and it will always make errors. It is desirable for a learning machine to have a large learnable class to maximize the chances of acquiring the unknown behavior and to minimize the expected error when only an approximation is possible. However, it is also desirable to have a small learnable class so that learning can be achieved rapidly. Thus the design of learning machines involves selecting a position on the spectrum: minimum error and slow learning time versus larger error and faster learning time. A computational method is given for finding where a given learning machine is on this spectrum. Machines that have fast learning times, relatively small learnable classes, and thus relatively large expected errors are called realization sparse in this article. These machines do little better than a random coin flipping algorithm in many situations. It is shown that many common learning systems are of this type including signature tables, linear system models, and conjunctive normal form expression based systems. These studies lead to the concept of an “optimum” machine which spreads its learnable behaviors across the behavior space in a manner to minimize the expected error. an approximation to such optimum machines is presented and its behavior is compared to the more traditional learning machines. © 1994 John Wiley & Sons, Inc.
Alan W. Biermann, Kermit C. Gilbert, Amr F. Fahmy, B. Koster
Int. J. Intell. Syst.1
1993 Synthesis of Real Time Acceptors
Amr F. Fahmy, Alan W. Biermann
J. Symb. Comput.2
1992 A Voice- and Touch-Driven Natural Language Editor and its Performance
Alan W. Biermann, Linda Fineman, J. Francis Heidlage
Int. J. Man Mach. Stud.1
1991 An Architecture for Pragmatic Voice Interactive Systems
Alan W. Biermann, Ronnie W. Smith
ISMIS1
1990 An overview course in academic computer science: a new approach for teaching nonmajors
abstract
article Free Access Share on An overview course in academic computer science: a new approach for teaching nonmajors Author: Alan W. Biermann Department of Computer Science, Duke University, Durham, North Carolina Department of Computer Science, Duke University, Durham, North CarolinaView Profile Authors Info & Claims ACM SIGCSE BulletinVolume 22Issue 1Feb. 1990 pp 236–239https://doi.org/10.1145/319059.323462Published:01 February 1990Publication History 10citation186DownloadsMetricsTotal Citations10Total Downloads186Last 12 Months10Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Alan W. Biermann
SIGCSE1
1986 The Correction of Ill-Formed Input Using History-Based Expectation with Applications to Speech Understanding
Pamela E. Fink, Alan W. Biermann
Comput. Linguistics2
1985 Automatic Programming: A Tutorial on Formal Methodologies
Alan W. Biermann
J. Symb. Comput.1
1985 An Imperative Sentence Processor for Voice Interactive Office Applications
abstract
An imperative sentence processor that enables a user to manipulate text with connected speech and touch-graphics input is described. The processor includes capabilities to follow dialogue focus, execute a variety of imperative commands, and handle nested noun groups, pronouns, and other phenomena. A micromodel of the system, giving enough of the structure to enable the reader to observe internal mechanisms in considerable detail, is included. This processor is designed to be transportable to a number of other office automation domains such as calendar management, message-passing, and desk calculation. Various examples and statistics related to its behavior in the text manipulation application are given. The system has been implemented in PASCAL and can run on any machine that supports this language.
Alan W. Biermann, Linda Fineman, Kermit C. Gilbert
ACM Trans. Inf. Syst.1
1985 Computer control via limited natural language
abstract
A natural language processor is described for control of a machine in task-oriented situations. Particular emphasis is given to issues related to flow-of-control statements in dialogue. These include branching constructs, as in `if row 1 contains a positive entry, then . . .' and looping constructs, as in `repeat for all other rows'. Special problems are discussed concerning the processing of deeply nested control structures, pronoun resolution, and the handling of conjunctions. An experiment is described in which the robustness of the conditional feature was tested with a group of computer naive subjects. It was found that subjects could discover and use the feature effectively in solving problems even though the fact of its existence was systematically withheld during the training session.
Pamela K. Fink, Anne H. Sigmon, Alan W. Biermann
IEEE Trans. Syst. Man Cybern.3
1983 An Experimental Study of Natural Language Programming
Alan W. Biermann, Bruce W. Ballard, Anne H. Sigmon
Int. J. Man Mach. Stud.1
1982 Signature Table Systems and Learning
abstract
A characterization theorem is given for the classes of functions which are representable by signature table systems. The usefulness of the theorem is demonstrated in the analysis and synthesis of such systems. The limitations on the power of these systems come from the restrictions on the table alphabet sizes, and a technique is given for evaluating these limitations. A practical learning system is proposed and analyzed in terms of the theoretical model of this paper. Then an improved method is described and results are presented from a series of experiments.
Alan W. Biermann, John Fairfield, Thomas R. Beres
IEEE Trans. Syst. Man Cybern.1
1980 Toward Natural Language Computation
Alan W. Biermann, Bruce W. Ballard
Am. J. Comput. Linguistics1
1979 A Production Rule Mechanism for Generating LISP Code
abstract
Production rule schemas are given which hold the basic information necessary for coding recursive loops and branches in LISP. Information from the user concerning the desired program is used to instantiate the schemas to yield production rules, and then these rules generate executable code in a strictly syntactic fashion. Emphasis is placed on decomposing the synthesis problem into a hierarchy of tasks which can each be solved by application of a schema. The method is demonstrated by showing how programs can be synthesized from examples of their input-output behaviors.
Alan W. Biermann, Douglas R. Smith
IEEE Trans. Syst. Man Cybern.1
1978 The Inference of Regular LISP Programs from Examples
abstract
A class of LISP programs that is analogous to the finite-state automata is defined, and an algorithm is given for constructing such programs from examples of their input-output behavior. It is shown that the algorithm has robust performance for a wide variety of inputs and that it converges to a solution on the basis of minimum input information.
Alan W. Biermann
IEEE Trans. Syst. Man Cybern.1
1976 Constructing Programs from Example Computations
abstract
An autoprogrammer is an interactive computer programming system which automatically constructs computer programs from example computations executed by the user. The example calculations are done in a scratch pad fashion at a computer display using a light pen or other graphic input device, and the system stores a detailed history of all of the steps executed in the process. Then the system automatically synthesizes the shortest possible program which is capable of executing the observed examples. The paper describes the computational environment provided by the system, proves that the program synthesis technique is both "sound" and "complete," describes the design of the system, and gives some programs it was used to create.
Alan W. Biermann, Ramachandran Krishnaswamy
IEEE Trans. Software Eng.1
1975 Speeding up the Synthesis of Programs from Traces
abstract
An algorithm is given for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of nontrivial programs can be quite large. Techniques are given for preprocessing the trace information to reduce enumeration, for pruning the search using a failure memory technique, and for utilizing multiple traces to the best advantage. The results of numerous tests are given to demonstrate the value of the techniques.
Alan W. Biermann, Richard I. Baum, Fred Petry
IEEE Trans. Computers1
1972 On the Inference of Turing Machines from Sample Computations
Alan W. Biermann
Artif. Intell.1
1972 On the Synthesis of Finite-State Machines from Samples of Their Behavior
abstract
The Nerode realization technique for synthesizing finite-state machines from their associated right-invariant equivalence relations is modified to give a method for synthesizing machines from finite subsets of their input-output behavior. The synthesis procedure includes a parameter that one may adjust to obtain machines that represent the desired behavior with varying degrees of accuracy and that consequently have varying complexities. We discuss some of the uses of the method, including an application to a sequential learning problem.
Alan W. Biermann, Jerome A. Feldman
IEEE Trans. Computers1