Edward P. Stabler

According to our database, Edward P. Stabler authored at least 46 papers between 1956 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A "Verbal Thermometer" for Assessing Neurodegenerative Disease: Automated Measurement of Pronoun and Verb Ratio from Speech.

William Jarrold, Adrià Rofes, Stephen M. Wilson, Peter Pressman, Edward P. Stabler, Marilu Gorno-Tempini

Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

2017

Reforming AMR.

Edward P. Stabler

Proceedings of the Formal Grammar - 22nd International Conference, 2017

2016

Coordination in Minimalist Grammars: Excorporation and Across the Board (Head) Movement.

John Torr, Edward P. Stabler

Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), June 29, 2016

2014

Towards a rationalist theory of language acquisition.

Edward P. Stabler

Proceedings of the 12th International Conference on Grammatical Inference, 2014

2013

Two Models of Minimalist, Incremental Syntactic Analysis.

Edward P. Stabler

Top. Cogn. Sci., 2013

2011

Top-Down Recognizers for MCFGs and MGs.

Edward P. Stabler

Proceedings of the 2nd Workshop on Cognitive Modeling and Computational Linguistics, 2011

2005

Strict Deterministic Aspects of Minimalist Grammars.

John T. Hale, Edward P. Stabler

Proceedings of the Logical Aspects of Computational Linguistics, 2005

Grammar Structure and the Dynamics of Language Evolution.

Yoosook Lee, Travis C. Collier, Gregory M. Kobele, Edward P. Stabler, Charles E. Taylor

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

2004

Varieties of crossing dependencies: structure dependence and mild context sensitivity.

Edward P. Stabler Jr.

Cogn. Sci., 2004

Adaptive communication among collaborative agents: preliminary results with symbol grounding.

Yoosook Lee, Travis C. Collier, Charles E. Taylor, Jason Riggle, Edward P. Stabler

Artif. Life Robotics, 2004

2003

Structural similarity within and among languages.

Edward P. Stabler, Edward L. Keenan

Theor. Comput. Sci., 2003

The Learning and Emergence of Mildly Context Sensitive Languages.

Edward P. Stabler, Travis C. Collier, Gregory M. Kobele, Yoosook Lee, Ying Lin, Jason Riggle, Yuan Yao, Charles E. Taylor

Proceedings of the Advances in Artificial Life, 7th European Conference, 2003

2002

Learning Mirror Theory.

Gregory M. Kobele, Travis C. Collier, Charles E. Taylor, Edward P. Stabler

Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks, 2002

2001

Recognizing Head Movement.

Edward P. Stabler

Proceedings of the Logical Aspects of Computational Linguistics, 2001

1999

Compression and Adaptation.

Tracy K. Teal, Daniel Albro, Edward P. Stabler, Charles E. Taylor

Proceedings of the Advances in Artificial Life, 5th European Conference, 1999

1998

Formal analyses of the Hungarian verbal complex.

Temese Szalai, Edward P. Stabler

Proceedings of the Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks, 1998

1996

Derivational Minimalism.

Edward P. Stabler

Proceedings of the Logical Aspects of Computational Linguistics, 1996

1995

Collective Test Generation and Test Set Compaction.

Jiang Chau Wang, Edward P. Stabler

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

1994

Parallel implementation of BDD Algorithms using a Distributed Shared Memory.

Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

Parsing as Non-Horn Deduction.

Edward P. Stabler Jr.

Artif. Intell., 1993

1991

Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs.

A. Mete Kabakçioglu, Edward P. Stabler

Int. J. Comput. Simul., 1991

Formalization of VHDL Synthesis Procedure in Higher-Order Logic.

X. Wang, Edward P. Stabler

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

ITP: description of the Interpretext system as used for MUC-3.

Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler

Proceedings of the 3rd Conference on Message Understanding, 1991

ITP Interpretext system: MUC-3 test results and analysis.

Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler

Proceedings of the 3rd Conference on Message Understanding, 1991

1990

Synthesis of arithmetic hardware using hardware metafunctions.

Shiu-Kai Chin, Edward P. Stabler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Representing Knowledge with Theories about Theories.

Edward P. Stabler Jr.

J. Log. Program., 1990

1989

Knowledge Representation for Commonsense Reasoning with Text.

Kathleen Dahlgren, Joyce P. McDowell, Edward P. Stabler Jr.

Comput. Linguistics, 1989

Syntactic Equality in Knowledge Representation and Reasoning.

Edward P. Stabler Jr.

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1988

Using higher order logic and functional languages to synthesize correct hardware.

Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

Restricting Logic Grammars with Government-Binding Theory.

Edward P. Stabler Jr.

Comput. Linguistics, 1987

Parsing with Explicit Representations of Syntactic Constraints.

Edward P. Stabler Jr.

Proceedings of the Natural Language Understanding and Logic Programming, 1987

Logic Grammar and Linguistic Theories (Panel Session).

Verónica Dahl, Robert Levine, Hideo Miyoshi, Patrick Saint-Dizier, Edward P. Stabler Jr.

Proceedings of the Natural Language Understanding and Logic Programming, 1987

Boolean Comparison by Simulation.

Edward P. Stabler, Haluk Bingol

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1986

Restricting Logic Grammars.

Edward P. Stabler Jr.

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Verification of Register Transfer Level Parallel Control Sequences.

Vijay Pitchumani, Edward P. Stabler

IEEE Trans. Computers, 1985

1984

Computer aided design (CAD) using logic programming.

Paul W. Horstmann, Edward P. Stabler

Proceedings of the 21st Design Automation Conference, 1984

1983

An Inductive Assertion Method for Register Transfer Level Design Verification.

Vijay Pitchumani, Edward P. Stabler

IEEE Trans. Computers, 1983

Deterministic and Bottom-Up Parsing in Prolog.

Edward P. Stabler Jr.

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

A formal method for computer design verification.

Vijay Pitchumani, Edward P. Stabler

Proceedings of the 19th Design Automation Conference, 1982

1979

Placement algorithm by partitioning for optimum rectangular placement.

Edward P. Stabler, Victor M. Kureichik, Valery A. Kalashnikov

Proceedings of the 16th Design Automation Conference, 1979

1974

Mixed Mode Arithmetic for STARAN.

Edward P. Stabler

Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974

1970

System Description Languages.

Edward P. Stabler

IEEE Trans. Computers, 1970

Microprogram Transformations.

Edward P. Stabler

IEEE Trans. Computers, 1970

1965

Threshold gate network synthesis

Edward P. Stabler

Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design, 1965

1959

Square-loop magnetic logic circuits.

Edward P. Stabler

Proceedings of the Papers presented at the the 1959 western joint computer conference, 1959

1956

Circuit realization of binary functions using threshold devices.

Edward P. Stabler

Proceedings of the 11th ACM national meeting, 1956