• 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)
    •   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...20 Hits 81 – 100 of 382 81 An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench Custy, E. J. In: DTIC AND NTIS (2003) BASE Show details 82 Exercising a Native Intelligence Metric on an Autonomous On-Road Driving System Horst, John A. In: DTIC (2003) BASE Show details 83 M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments Pınar Yolum; Munindar P. Singh In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002) BASE Show details 84 Sketching for Knowledge Capture: A Progress Report Forbus, Kenneth D.; Usher, Jeffrey In: DTIC (2002) BASE Show details 85 Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung Schlegel, Thomas. - : Stuttgart, Germany, Universität Stuttgart, 2002 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002) BASE Show details 86 The Architecture of TrueViz: A Groundtruth/Metadata Editing and Visualizing Toolkit Lee, Chang Ha; Kanungo, Tapas In: DTIC (2001) BASE Show details 87 Generic description of a software document environment Toleman, Mark; Carrington, David; Cook, Phil. - 2001 BASE Show details 88 Incremental parsing in language-based editors: user needs and how to meet them Cook, Phil; Welsh, Jim. - : John Wiley & Sons, 2001 BASE Show details 89 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000) BASE Show details 90 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000) BASE Show details 91 Automatic Verification of Multiagent Conversations Lacey, Timothy; DeLoach, Scott A. In: DTIC (2000) BASE Show details 92 Generalized Aliasing as a Basis for Program Analysis Tools O'Callahan, Robert In: DTIC (2000) BASE Show details 93 Semantic Interoperability on the Web Heflin, Jeff; Hendler, James In: DTIC AND NTIS (2000) BASE Show details 94 Linguistic Assistant for Domain Analysis (LIDA) Korelsky, Tanya; Lavoie, Benoit; Overmyer, Scott In: DTIC AND NTIS (2000) BASE Show details 95 A Platform for Multilingual Research in Spoken Dialogue Systems Cole, Ronald A.; Serridge, Ben; Hasom, John-Paul... In: DTIC (2000) BASE Show details 96 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 97 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty; P. M. Melliar-smith; L. K. Dillon In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) Abstract: Concurrent real-time systems are among the most difficult systems to design because of the many possible interleavings of events and because of the timing requirements that must be satisfied. We have developed a graphical environment based on Real-Time Graphical Interval Logic (RTGIL) for specifying and reasoning about the designs of concurrent real-time systems. Specifications in the logic have an intuitive graphical representation that resembles the timing diagrams drawn by software and hardware engineers, with real-time constraints that bound the durations of intervals. The syntax-directed editor of the RTGIL environment enables the user to compose and edit graphical formulas on a workstation display; the automated theorem prover mechanically checks the validity of proofs in the logic; and the database and proof manager tracks proof dependencies and allows formulas to be stored and retrieved. This article describes the logic, methodology, and tools that comprise the prototype Keyword: Automated deduction; C.3 [Computer Systems Organization; Categories and Subject Descriptors; concurrent systems; D.2.1 [Software Engineering; D.2.10 [Software Engi- neering; D.2.2 [Software Engineering; Design; Design—methodologies; F.4.1 [Mathematical Logic and Formal Languages; F.4.3 [Mathematical Logic and Formal Languages; Formal Languages—decision problems General Terms; formal specifi- cation and verification; graphical user interface; Mathematical Logic—mechanical theorem proving; real-time systems; representation; Requirements/Specifications—methodologies; Special-Pur- pose and Application-Based Systems—real-time systems; temporal logic; tools; Tools and Techniques—computer-aided software engineering; user interfaces; Verification Additional Key Words and Phrases URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.8581 http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf BASE Hide details 98 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) BASE Show details 99 An Evolutionary Perspective of Software Engineering Research Through Co-Word Analysis. Coulter, Neal; Monarch, Ira; Konda, Suresh... In: DTIC AND NTIS (1996) BASE Show details 100 Integrating design and development in the production of multimedia documents Morris, S.; Finkelstein, A. In: In: 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. pp. 98-107). IEEE Computer Society Press (1996) (1996) BASE Show details Page: 1 2 3 4 5 6 7 8 9...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