Mabry Tyson

According to our database, Mabry Tyson authored at least 16 papers between 1982 and 2013.

Collaborative distances:

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

2013

FRESCO: Modular Composable Security Services for Software-Defined Networks.

Seungwon Shin, Phillip A. Porras, Vinod Yegneswaran, Martin W. Fong, Guofei Gu, Mabry Tyson

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

2012

A security enforcement kernel for OpenFlow networks.

Phillip A. Porras, Seungwon Shin, Vinod Yegneswaran, Martin W. Fong, Mabry Tyson, Guofei Gu

Proceedings of the first workshop on Hot topics in software defined networks, 2012

2004

Deductive Question Answering from Multiple Resources.

Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David L. Martin, Susanne Z. Riehemann, Mark E. Stickel, Mabry Tyson

Proceedings of the New Directions in Question Answering, 2004

2003

A Mixed-initiative Framework for Robust Plan Sketching.

Karen L. Myers, Peter Jarvis, Mabry Tyson, Michael Wolverton

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

1997

FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text

Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Mark E. Stickel, Mabry Tyson

CoRR, 1997

1996

SRI's Tipster II Project.

Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Andrew Kehler, Mark E. Stickel, Mabry Tyson

Proceedings of the TIPSTER TEXT PROGRAM PHASE II: Proceedings of a Workshop held at Vienna, 1996

1995

SRI International FASTUS system: MUC-6 test results and analysis.

Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Megumi Kameyama, David L. Martin, Karen L. Myers, Mabry Tyson

Proceedings of the 6th Conference on Message Understanding, 1995

1993

FASTUS: A System for Extracting Information from Text.

Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyalna, Mabry Tyson

Proceedings of the Human Language Technology: Proceedings of a Workshop Held at Plainsboro, 1993

SRI: description of the JV-FASTUS system used for MUC-5.

Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Megumi Kameyama, Mabry Tyson

Proceedings of the 5th Conference on Message Understanding, 1993

FASTUS: A Finite-state Processor for Information Extraction from Real-world Text.

Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

SRI International: description of the FASTUS system used for MUC-4.

Jerry R. Hobbs, Douglas E. Appelt, Mabry Tyson, John Bear, David J. Israel

Proceedings of the 4th Conference on Message Understanding, 1992

SRI International FASTUS system: MUC-4 test results and analysis.

Douglas E. Appelt, John Bear, Jerry R. Hobbs, David J. Israel, Mabry Tyson

Proceedings of the 4th Conference on Message Understanding, 1992

Robust Processing of Real-World Natural-Language Texts.

Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mabry Tyson

Proceedings of the 3rd Applied Natural Language Processing Conference, 1992

1989

TACITUS: A Message Understanding System.

Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mark E. Stickel, Mabry Tyson

Proceedings of the Speech and Natural Language: Proceedings of a Workshop Held at Cape Cod, 1989

1985

An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.

Mark E. Stickel, Mabry Tyson

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1982

Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover.

Mabry Tyson

Proceedings of the National Conference on Artificial Intelligence, 1982