Mabry Tyson

Publication Activity (10 Years)

Years Active: 1982-2013
Publications (10 Years): 0

Top Topics

Multiple Kernel Learning

Security Enforcement

Top Venues

Publications

Seungwon Shin, Phillip A. Porras, Vinod Yegneswaran, Martin W. Fong, Guofei Gu, Mabry Tyson
FRESCO: Modular Composable Security Services for Software-Defined Networks. NDSS (2013)
Phillip A. Porras, Seungwon Shin, Vinod Yegneswaran, Martin W. Fong, Mabry Tyson, Guofei Gu
A security enforcement kernel for OpenFlow networks. HotSDN@SIGCOMM (2012)
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
Deductive Question Answering from Multiple Resources. New Directions in Question Answering (2004)
Karen L. Myers, Peter Jarvis, Mabry Tyson, Michael Wolverton
A Mixed-initiative Framework for Robust Plan Sketching. ICAPS (2003)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Mark E. Stickel, Mabry Tyson
FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text CoRR (1997)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Andrew Kehler, Mark E. Stickel, Mabry Tyson
SRI's Tipster II Project. TIPSTER (1996)
Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Megumi Kameyama, David L. Martin, Karen L. Myers, Mabry Tyson
SRI International FASTUS system: MUC-6 test results and analysis. MUC (1995)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyalna, Mabry Tyson
FASTUS: A System for Extracting Information from Text. HLT (1993)
Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Megumi Kameyama, Mabry Tyson
SRI: description of the JV-FASTUS system used for MUC-5. MUC (1993)
Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson
FASTUS: A Finite-state Processor for Information Extraction from Real-world Text. IJCAI (1993)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mabry Tyson
Robust Processing of Real-World Natural-Language Texts. ANLP (1992)
Jerry R. Hobbs, Douglas E. Appelt, Mabry Tyson, John Bear, David J. Israel
SRI International: description of the FASTUS system used for MUC-4. MUC (1992)
Douglas E. Appelt, John Bear, Jerry R. Hobbs, David J. Israel, Mabry Tyson
SRI International FASTUS system: MUC-4 test results and analysis. MUC (1992)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mark E. Stickel, Mabry Tyson
TACITUS: A Message Understanding System. HLT (2) (1989)
Mark E. Stickel, Mabry Tyson
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. IJCAI (1985)
Mabry Tyson
Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. AAAI (1982)