• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (33)
    • Andrew Lambourne (2)
    • Brian Scassellati (2)
    • Caroline Lyon (2)
    • Donald Cox (2)
    • Jie Zhang (2)
    • Jill Hewitt (2)
    • Kevin Gold (2)
    • Meina Kan (2)
    • Shiguang Shan (2)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (33)
  • 
    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 Hits 1 – 20 of 33 1 Optimal Packed String Matching Oren Ben-kiki; Philip Bille; Dany Breslauer... In: http://drops.dagstuhl.de/opus/volltexte/2011/3355/pdf/37.pdf (2011) BASE Show details 2 Attitude Change after Taking a Virtual Global Understanding Course, International Journal of Social Science,4:2 Rosina C. Chia; Elmer Poe; Karl L. Wuensch In: http://www.waset.org/journals/waset/v31/v31-127.pdf (2009) BASE Show details 3 Using context and sensory data to learn first and second person pronouns Kevin Gold; Brian Scassellati In: http://www.cs.yale.edu/~scaz/papers/Gold-HRI-06.pdf (2006) BASE Show details 4 Using context and sensory data to learn first and second person pronouns Kevin Gold; Brian Scassellati In: http://gundam.cs.yale.edu/fp119-gold.pdf (2006) BASE Show details 5 Real-Time speech with AX.25-an evaluation of the possi bi Iities and restrictions Nicolai Heilemann Dlts In: http://www.tapr.org/pdf/DCC2003-AX25RealTimeSpeech-DL9TS.pdf (2003) BASE Show details 6 Supporting Collaborative Interpretation in Distributed Groupware Donald Cox In: http://grouplab.cpsc.ucalgary.ca/grouplab/uploads/Publications/Publications/2000-CollabInterp.Report-2000-658-10.pdf (2000) BASE Show details 7 Supporting Collaborative Interpretation in Distributed Groupware Donald Cox In: http://www.cpsc.ucalgary.ca/grouplab/papers/2000/00-CollabInterp-CSCW/00-collab-interp-cscw.pdf (2000) BASE Show details 8 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 9 Speech Perception Using . . . The BeBe System Latanya Sweeney; Patrick Thompson In: http://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-736.pdf (1997) BASE Show details 10 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 11 Efficient algorithms for speech recognition Mosur K. Ravishankar In: http://www.cs.cmu.edu/~rkm/th/th.pdf (1996) BASE Show details 12 Immp Development Environment for Interactive Services Petra Hoepner; Klaus; Klaus Hofrichter... In: http://www.iki.fi/sti/publish/ecmast96/ecmast96.ps.gz (1996) BASE Show details 13 A Method for Verifying Properties of Modechart Specifications Farnam Jahanian; Douglas A. Stuart In: ftp://ftp.cs.utexas.edu/pub/cpg/RTS/papers/rtss88.ps.gz (1988) BASE Show details 14 Visualization of Vocal Tract Shape Using Interleaved Real-time MRI of Multiple Scan Planes Yoon-chul Kim; Michael I. Proctor; Shrikanth S. Narayanan... In: http://mproctor.net/docs/kim11_IS2011_interleavedMRI.pdf BASE Show details 15 Characterizing Covert Articulation in Apraxic Speech Using Real-time MRI Christina Hagedorn; Michael Proctor; Louis Goldstein... In: http://mproctor.net/docs/hagedorn12_IS2012_apraxia.pdf BASE Show details 16 IT Innovation Centre Stuart E. Middleton; Lee Middleton; Stefano Modafferi In: http://users.ecs.soton.ac.uk/sem/ieee-is2014.pdf BASE Show details 17 Enhancing the Usability of Real-Time Speech Recognition Captioning Through Personalised Displays and Real-Time Multiple Speaker Editing and Annotation Mike Wald; Keith Bain In: http://eprints.ecs.soton.ac.uk/14106/1/HCI2007_Wald.pdf BASE Show details 18 Speech-Based Real-Time Subtitling Service Andrew Lambourne; Jill Hewitt; Caroline Lyon... In: http://uhra.herts.ac.uk/bitstream/handle/2299/1957/101954.pdf;jsessionid=A838C2D42ABA09152FBCCD92177296DD?sequence=1 BASE Show details 19 On Two-Tape Real-Time Computation and Queues Paul M.B. Vitányi In: http://www.cwi.nl/~paulv/papers/jcss84.ps BASE Show details 20 Using Expert Systems and Artificial Intelligence For Real Estate Forecasting Peter Rossini In: http://business.unisa.edu.au/prres/proceedings/proceedings2000/p6a2.pdf BASE Show details Page: 1 2

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 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 33 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0