DE eng

Search in the Catalogues and Directories

Hits 1 – 12 of 12

1
Designing an IIR Research Apparatus with Users with Severe Intellectual Disability
In: ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) ; https://hal-amu.archives-ouvertes.fr/hal-02470797 ; ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR), Mar 2020, Vancouver, Canada. pp.412-416, ⟨10.1145/3343413.3378008⟩ (2020)
BASE
Show details
2
History of Logo
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
BASE
Show details
3
Agency of interactive space in social relationship
Boychenko, Kristina. - : The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019
BASE
Show details
4
Human-Guided Evolutionary-Based Linguistics Approach For Automatic Story Generation ...
Wang, Kun. - : UNSW Sydney, 2013
BASE
Show details
5
Human-Guided Evolutionary-Based Linguistics Approach For Automatic Story Generation
Wang, Kun, Engineering & Information Technology, UNSW Canberra, UNSW. - : University of New South Wales - UNSW Canberra. Engineering & Information Technology, 2013
BASE
Show details
6
Reflections on a Symposium on Computation
BASE
Show details
7
The Computational Power of Interactive Recurrent Neural Networks
In: Hava Siegelmann (2012)
BASE
Show details
8
The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis
In: http://www.cs.brown.edu/people/pw/strong-cct.pdf (2007)
BASE
Show details
9
Multilingual Information Framework for Handling textual data in Digital Media
In: The Third International Conference on Active Media Technology - IEEE AMT 2005 ; https://hal.inria.fr/inria-00001118 ; The Third International Conference on Active Media Technology - IEEE AMT 2005, May 2005, Takamatsu/Japan (2005)
BASE
Show details
10
Implementing Multilingual Information Framework in Applications using Textual Display
In: 7th International Conference on Enterprise Information Systems - ICEIS 2005 ; https://hal.inria.fr/inria-00001117 ; 7th International Conference on Enterprise Information Systems - ICEIS 2005, May 2005, Miami/USA (2005)
BASE
Show details
11
Towards a Flexible and Contextually Appropriate Generation of Spoken Utterances
In: Proceedings 1998 IEEE 4th Workshop Interactive Voice Technology for Telecommunications Applications. IVTTA '98 ; 4th IEEE Workshop Interactive Voice Technology for Telecommunications Applications (IVTTA 1998) ; https://hal.archives-ouvertes.fr/hal-03639805 ; 4th IEEE Workshop Interactive Voice Technology for Telecommunications Applications (IVTTA 1998), Sep 1998, Torino, Italy. pp.124-129, ⟨10.1109/IVTTA.1998.727706⟩ ; https://ieeexplore.ieee.org/document/727706 (1998)
BASE
Show details
12
Persistent Queries in the Behavioral Theory of Algorithms
In: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf
Abstract: We propose an extension of the behavioral theory of interactive sequential algorithms to deal with the following situation. A query is issued during a certain step, but the step ends before any reply is received. Later, a reply arrives, and later yet the algorithm makes use of this reply. By a persistent query, we mean a query for which a late reply might be used. Our proposal involves issuing, along with a persistent query, a location where a late reply is to be stored. After presenting our proposal in general terms, we discuss the modifications that it requires in the existing axiomatics of interactive sequential algorithms and in the existing syntax and semantics of abstract state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are needed.
Keyword: abstract state machines; Algorithms; Categories and Subject Descriptors; F.1.1 [Computation by Abstract Devices; F.3.1 [Logics and Meanings of Programs; F.3.2 [Logics and Meanings of Programs; I.6.1 [Computing Methodologies; interactive algorithms; Languages; Models of Computation—Bounded-action devices; Semantics of Programming Languages—Operational semantics; sequential algorithms; Simulation and Modeling—Simulation Theory General Terms; small-step algorithms; Specify- ing and Verifying and Reasoning about Programs—Specification Techniques; Theory; Verification Additional Key Words and Phrases
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.601.6169
http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf
BASE
Hide details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
12
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern