| 61 |
TMSS Parsing Test MIL-M-9977J, Appendix D, Nonnuclear Munitions Loading Procedures.
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
| 62 |
Raising the IQ in full-text searching via intelligent querying
|
|
|
|
In: Office of Scientific and Technical Information INFOTECH `94,Oak Ridge, TN (United States),25-26 Oct 1994 (1994)
|
|
BASE
|
|
Show details
|
|
|
| 63 |
Logic Grammars and λProlog
|
|
|
|
In: ftp://ftp.irisa.fr/local/lande/slplor-iclp93.ps.Z (1993)
|
|
BASE
|
|
Show details
|
|
|
| 64 |
Program 6 Technical Interchange Meeting Proceedings
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
| 65 |
Augmented Role Filling Capabilities for Semantic Interpretation of Spoken Language
|
|
|
|
In: DTIC (1991)
|
|
BASE
|
|
Show details
|
|
|
| 66 |
Integrating Syntax, Semantics, and Discourse DARPA Natural Language Understanding Program. Volume 1. Technical Report
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
|
| 67 |
An Overview of Technology for Spoken Interaction with Machines (Une Introduction a la Communication Vocale avec les Machines).
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 68 |
A Government-Binding Based Parser for Warlpiri, a Free-Word Order Language.
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
|
| 69 |
A Modular Verifiable Exception-Handling Mechanism
|
|
|
|
In: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf (1985)
|
|
Abstract:
This paper presents a new model for exception handling, called the replacement model. The replacement model, in contrast to other exception-handling proposals, supports all the handler responses of resumption, termination, retry, and exception propagation, within both statements and expressions, in a modular, simple, and uniform fashion. The model can be embedded in any expression-oriented language and can also be adapted to languages which are not expression oriented with almost all the above advantages. This paper presents the syntactic extensions for embedding the replacement model into Algol 68 and its operational semantics. An axiomatic semantic definition for the model can be found in [271. Categories and Subject Descriptors: D.3.3 [Programming Languages]: Language Constructsabstract
|
|
Keyword:
compiletime checking; Design; exception handling; General Terms; Information hiding; Languages; module strength and coupling; recovery; Reliability; Security; Verification Additional Key Words and Phrases
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.1148
http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 71 |
PILOT RATING TECHNIQUES FOR THE ESTIMATION AND EVALUATION OF HANDLING QUALITIES
|
|
|
|
In: DTIC AND NTIS (1968)
|
|
BASE
|
|
Show details
|
|
|
| 72 |
A Model Of CPS Translation And Interpretation
|
|
|
|
In: http://www.itculiacan.edu.mx/Pagina WEB Dr. RZC/Ramon/PDFs/A Model of CPS Trans & Interp.pdf
|
|
BASE
|
|
Show details
|
|
|
| 73 |
Iula2Standoff: a tool for creating standoff documents for the IULACT
|
|
|
|
In: http://www.lrec-conf.org/proceedings/lrec2012/pdf/307_Paper.pdf
|
|
BASE
|
|
Show details
|
|
|
| 74 |
Bijlage Z Sorting in BLUe 149 Sorting in BLUe
|
|
|
|
In: http://www.ntg.nl/maps/10/27.pdf
|
|
BASE
|
|
Show details
|
|
|
| 75 |
Extraction of Folksonomies from Noisy Texts
|
|
|
|
In: http://www.icwsm.org/papers/4--Smet-Moens.pdf
|
|
BASE
|
|
Show details
|
|
|
| 76 |
A corpus-based NLP-chain for a web-based Assisting Conversational Agent
|
|
|
|
In: http://perso.limsi.fr/jps/research/daft/doc/08.A_WACA.mao.28nov08.pdf
|
|
BASE
|
|
Show details
|
|
|
| 77 |
Some Reflections on Learner Support for Distance Learners: Feedback from the Field
|
|
|
|
In: http://asianjde.org/2009v7.1.Gupte.pdf
|
|
BASE
|
|
Show details
|
|
|
| 78 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.cs.purdue.edu/homes/suresh/papers/icfp06.pdf
|
|
BASE
|
|
Show details
|
|
|
| 79 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p136-ziarek.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
