• 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 (237)
    • 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...4 5 6 7 8 9 10 11 12...20 Hits 141 – 160 of 383 141 The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture Stewart Green In: http://www.soi.city.ac.uk/homes/till/wp31.ps BASE Show details 142 Finding Common Ground: Choose, Assert, and Assume Alex Groce; Martin Erwig In: http://cs.oregonstate.edu/%7Eerwig/papers/ChooseAssertAssume_WODA12.pdf Abstract: At present, the “testing community ” is on good speaking terms, but typically lacks a common language for expressing some computational ideas, even in cases where such a language would be both useful and plausible. In particular, a large body of testing systems define a testing problem in the language of the system under test, extended with operations for choosing inputs, asserting properties, and constraining the domain of executions considered. While the underlying algorithms used for “testing ” include symbolic execution, explicit-state model checking, machine learning, and“old fashioned”random testing, there seems to be a common core of expressive need. We propose that the dynamic analysis community could benefit from working with some common syntactic (and to some extent semantic) mechanisms for expressing a body of testing problems. Such a shared language would have immediate practical uses and make cross-tool comparisons and research into identifying appropriate tools for different testing activities easier. We also suspect that considering the more abstract testing problem arising from this minimalist common ground could serve as a basis for thinking about the design of usable embedded domain-specific languages for testing and might help identify computational patterns that have escaped the notice of the community. Keyword: Categories and Subject Descriptors D.2.5 [Software Engineering; domain specific; model checking; symbolic execution; Testing and Debugging— Testing tools General Terms Languages; Verification Keywords Random testing URL: http://cs.oregonstate.edu/%7Eerwig/papers/ChooseAssertAssume_WODA12.pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8503 BASE Hide details 143 CORRESPONDING AUTHOR: Jean Carletta; Buccleuch Place In: http://groups.inf.ed.ac.uk/switchboard/NXT-LREJ.pdf BASE Show details 144 A critical look at software tools in corpus linguistics * 1 Laurence Anthony In: http://www.antlab.sci.waseda.ac.jp/research/20130827_linguistic_research_paper/linguistic_research_paper_final.pdf BASE Show details 145 9Tool for Testing Bad Student Programs In: http://ceur-ws.org/Vol-1266/SQAMIA2014_Paper9.pdf BASE Show details 146 Extracting Normative Relationships from Business Contracts Xibin Gao; Munindar P. Singh In: http://www.csc.ncsu.edu/faculty/mpsingh/papers/others/AAMAS-14-Normative.pdf BASE Show details 147 John Coleman's Home Page http://www.phon.ox.ac.uk/~jcoleman/ Topic: Computational linguistics; Corpus linguistics; Phonetics / Phonology; ... Source type: Bibliographies; Linguists; Link collections; ... Access: free access Show details  148 Indology: Resources for indological scholarship http://indology.info/ Topic: Graphemics; History of language; Lexicography; ... Language: Indic languages; Pali; Prākrit / Prakrit; ... Source type: Bibliographies; Full-text server / Archives; Link collections; ... Access: free access Show details  149 AGTK - Annotation Graph Toolkit http://agtk.sourceforge.net/ Topic: Conversation analysis / Spoken language Source type: Software / Tools Access: free access Show details  150 ANVIL - The video annotation research tool http://www.anvil-software.org/ Topic: Conversation analysis / Spoken language; Corpus linguistics Source type: Software / Tools Access: free access Show details  151 Neuroinformatics http://cogsci.uni-osnabrueck.de/en/ni Topic: Clinical linguistics / Neurolinguistics; Computational linguistics Forschungstyp: Research projects Access: partial free access Show details  152 FOLKER - Transkriptionseditor http://agd.ids-mannheim.de/html/folker.shtml Topic: Conversation analysis / Spoken language Source type: Software / Tools Access: registration necessary Show details  153 English Phonetic Transcription http://upodn.com/phon.asp Topic: Phonetics / Phonology Language: English; English, American Source type: Dictionaries; Software / Tools Access: free access Show details  154 European Association for Machine Translation (EAMT) http://www.eamt.org/ Topic: Computational linguistics Source type: Linguistic associations; Link collections; Newsletters / Mailing lists; ... Access: free access Show details  155 On-line Chinese Tools http://www.mandarintools.com/ Topic: Graphemics; Language teaching; Lexicology / Etymology; ... Language: Chinese, Mandarin; English Source type: Bibliographies; Dictionaries; Link collections; ... Access: free access Show details  156 SmartWeb. Mobiler breitbandiger Zugang zum Semantischen Web http://www.phonetik.uni-muenchen.de/forschung/SmartWeb/d_SmartWeb_LMU.html Topic: Computational linguistics; Phonetics / Phonology Forschungstyp: Research projects Access: partial free access Show details  157 XML-Print: ein ergonomisches Satzsystem für komplexe Textstrukturen https://sites.google.com/a/budabe.eu/xmlprint_de/ Topic: Computational linguistics; Text linguistics Forschungstyp: Research projects Access: free access Show details  158 Languagegeek - Native Languages http://www.languagegeek.com/index.html Topic: Computational linguistics; Dialectology / Linguistic geography; Graphemics; ... Language: Algic languages; Eskimo-Aleut languages; Haida; ... Source type: Bibliographies; Reference works; Software / Tools Access: free access Show details  159 TreeTagger - a language independent part-of-speech tagger http://www.cis.uni-muenchen.de/~schmid/tools/TreeTagger/ Topic: Computational linguistics; Corpus linguistics Source type: Link collections; Software / Tools Access: free access Show details  160 Linguistic Annotation Wiki http://annotation.exmaralda.org/index.php/Linguistic_Annotation Topic: Conversation analysis / Spoken language; Corpus linguistics Source type: Link collections; Reference works; Software / Tools Access: free access Show details  Page: 1...4 5 6 7 8 9 10 11 12...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 237 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