• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (21)
    • NAVAL POSTGRADUATE SCHOOL MONTEREY CA (8)
    • SIL International, Dallas, TX (8)
    • SourceForge (7)
    • Department of Linguistics (6)
    • Eberhard-Karls-Universität Tübingen (4)
    • Institut National de Recherche en Informatique et en Automatique (Inria) (4)
    • Ludwig-Maximilians-Universität München (4)
    • University of Pennsylvania, Philadelphia, PA (4)
    • Universität Stuttgart (4)
    • Đurić D., Miloš (4)
    • ARMY RESEARCH LAB ADELPHI MD COMPUTATIONAL AND INFORMATION SCIENCES DIRECTORATE (3)
    • Bird, Steven (3)
    • GitHub, Inc., San Francisco, CA (3)
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (3)
    • Institut für Phonetik und Sprachverarbeitung (3)
    • Manning, Christopher (3)
    • Seminar für Sprachwissenschaft (3)
    • Universität Bremen (3)
    • Universität Zürich (UZH) (3)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Website (236)
    • Article (131)
    • Book (10)
    • Miscellaneous (5)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8 9 10...20 Hits 101 – 120 of 382 101 Automatic Tools for Developing Fine-Grained Signal Processing Programs on Multicomputers. O'Hallaron, David R.; Kung, H. T. In: DTIC AND NTIS (1995) BASE Show details 102 Eucalyptus: Integrating Natural Language Input with a Graphical User Interface Wauchope, Kenneth In: DTIC AND NTIS (1994) BASE Show details 103 Course-of-Action Selection Tool (COAST) Larsen, R. W.; Herman, J. S. In: DTIC AND NTIS (1994) BASE Show details 104 Semiautomatic Deabbreviation of Source Programs Rowe, Neil C.; Laitinen, Kari In: DTIC AND NTIS (1994) BASE Show details 105 Corpora and Data Preparation Carlson, Lynn; Onyshkevych, Boyan; Okurowski, Mary E. In: DTIC (1993) BASE Show details 106 Language Interoperability Issues in the Integration of Heterogeneous Systems Sutton ,Jr., Stanley M.; Tarr, Peri In: DTIC (1993) BASE Show details 107 Corpora and Data Preparation for Information Extraction Carlson, Lynn; Onyshkevych, Boyan; Okurowski, Mary E In: DTIC (1993) BASE Show details 108 The State Transition Diagram with Path Priority and It's Applications Scholz, Thomas In: DTIC AND NTIS (1993) BASE Show details 109 Maygen: A Symbolic Debugger Generation System Tsien, Christine L. In: DTIC AND NTIS (1993) BASE Show details 110 An Evaluation Methodology for Natural Language Processing Systems Neal, Jeannette G.; Feit, Elissa L.; Funke, Douglas J.... In: DTIC AND NTIS (1992) BASE Show details 111 Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach Lovejoy, Robert S. In: DTIC AND NTIS (1992) BASE Show details 112 Proceedings of the Annual Ada Software Engineering Education and Training Symposium (6th), Held in Alexandria, Virginia on September 11-13, 1991 In: DTIC AND NTIS (1991) BASE Show details 113 The Pegasys Environment for Graphical Documentation of Large Programs Moriconi, Mark In: DTIC AND NTIS (1991) Abstract: This is the final report for ONR contract number N00014-86-C-0775. It describes the PegaSys languages, methodology, and techniques for specifying and reasoning about system structures. PegaSys supports both visual and textual specification, where pictures are intuitive representations of logical assertions written in the textual language. To mitigate the problems of scale, the PegaSys methodology supports both horizontal and vertical hierarchies and provides for user-defined abstractions in specifications. Since PegaSys is based on logic, it can reason about designs and programs. For example, it can prove (automatically) that a structural design hierarchy is correct and find (automatically) a conservative approximation of the semantic effects of changes to programs. These advances will allow the PegaSys environment to be considerably more powerful than the CASE tools currently used in industry to develop large software systems. The first part of this report presents a scenario that illustrates the basic ideas behind the PegaSys languages and methodology. The underlying logic is a decidable subset of Ehdm, a state of the art formal specification language developed in the Computer Science Laboratory. The second part of the report presents the details of our technique for deducing the effects of changes to a program. (Changes to a design are not handled.) The new material presented in this report is not implemented in PegaSys at this time. Keyword: *COMPUTER PROGRAM DOCUMENTATION; *COMPUTER PROGRAMS; *PROGRAMMING LANGUAGES; Computer Programming and Software; COMPUTERS; GRAPHICS; HIERARCHIES; HORIZONTAL ORIENTATION; INDUSTRIES; LABORATORIES; LANGUAGE; LOGIC; MATERIALS; METHODOLOGY; REASONING; SCALE; SEMANTICS; SPECIFICATIONS; STATE OF THE ART; STRUCTURAL ENGINEERING; STRUCTURES; SUPPORTS; TOOLS; VERTICAL ORIENTATION URL: http://www.dtic.mil/docs/citations/ADA236557 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA236557 BASE Hide details 114 Netlist +: A Simple Interface Language for Chip Design Wuu, Tzyh-Yung In: DTIC AND NTIS (1991) BASE Show details 115 Global Optimization of Digital Circuits. Flandera, Richard In: DTIC AND NTIS (1991) BASE Show details 116 Software Technology for Adaptable, Reliable Systems (STARS): Peer Review Capability Description Davis, Margaret J. In: DTIC AND NTIS (1990) BASE Show details 117 Northeast Artificial Intelligence Consortium (NAIC). Volume 18. A distributed Artificial Intelligence Approach to Information Fusion and Object Classification Varshney, Pramod K.; Sikka, Digvijay I. In: DTIC AND NTIS (1990) BASE Show details 118 Computer-Based Instruction Authoring Tools System (CATS): User's Manual. Johnson, Kirk; Hulton, Vel N.; Olson, Richard... In: DTIC AND NTIS (1990) BASE Show details 119 Using the Feature Exchange Language in the Next Generation Controller Bourne, D. A.; Williams, D. T. In: DTIC AND NTIS (1990) BASE Show details 120 The hierarchical development of a generic type mechanism for functional languages Bailes P.A.. - : Elsevier BV, 1990 BASE Show details Page: 1 2 3 4 5 6 7 8 9 10...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0