Home
Catalogue search
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
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)
Abstract:
As network bandwidth increases, distributed applications are becoming increasingly prevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into manageable subtasks. Agent conversations, a series of messages passed between agents, are the cornerstone of multiagent systems and must be deemed correct before being placed into service. This paper introduces a method to automatically verify that conversations are valid before employing them. Agent conversations are created graphically using state transition diagrams in the agentTool multiagent development environment. This graphical representation is then transformed into a formal modeling language called Promela that is analyzed by the Spin verification tool to detect errors such as deadlock, non-progress loops, syntax errors, unused messages, and unused states. Feedback is provided to the user automatically via text messages and graphical highlighting of error conditions. ; The original document contains color images.
Keyword:
*AGENTTOOL
;
*KQML(KNOWLEDGE QUERY AND MARKUP LANGUAGE)
;
*MASE(MULTIAGENT SYSTEMS ENGINEERING)
;
*PROGRAMMING LANGUAGES
;
*SOFTWARE TOOLS
;
*VERIFICATION
;
ACCURACY
;
AUTOMATIC
;
Computer Programming and Software
;
Computer Systems
;
ERROR DETECTION CODES
;
FEEDBACK
;
Information Science
;
Linguistics
;
METHODOLOGY
;
MODELS
;
NETWORKS
;
PROMELA
;
SYNTAX
;
THESES
;
VALIDATION
URL:
http://www.dtic.mil/docs/citations/ADA446531
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA446531
BASE
Hide 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
...
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
BASE
Show 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
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern