Home
Catalogue search
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
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern