Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « temporal »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
template < temporal < temporel  Facettes :

List of bibliographic references indexed by temporal

Number of relevant bibliographic references: 133.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000116 (2016) Michaël Aron [France] ; Marie-Odile Berger [France] ; Erwan Kerrien [France] ; Brigitte Wrobel-Dautcourt [France] ; Blaise Potard [France] ; Yves Laprie [France]Multimodal acquisition of articulatory data: Geometrical and temporal registration
000375 (2015-08-25) Antoine Liutkus [France] ; Umut Im Ekli [Turquie] ; Taylan Cemgil [Turquie]Extraction of Temporal Patterns in Multi-rate and Multi-modal Datasets
000470 (2015-06-29) Marion Guthmuller [France]Dynamic formal verification of temporal properties on legacy distributed applications
000676 (2015) Laura Bozzelli [Espagne] ; Bastien Maubert [France] ; Sophie Pinchinat [France]Unifying Hyper and Epistemic Temporal Logics
000755 (2015) Eric J. Nichols ; Axel HuttNeural field simulator: two-dimensional spatio-temporal dynamics involving finite transmission speed
000899 (2014-10-22) Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Ahmed Bouchami [France]CATT: A Cloud Based Authorization Framework with Trust and Temporal Aspects
000912 (2014-10-07) Valmi Dufour-Lussier [France]Reasoning with Qualitative Spatial and Temporal Textual Cases
000954 (2014-09-11) Irina Illina [France] ; Dominique Fohr [France] ; Georges Linares [France]Proper Name Retrieval from Diachronic Documents for Automatic Speech Transcription using Lexical and Temporal Context
000E77 (2014) Olga Kouchnarenko [France] ; Jean-Francois Weber [France]Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime
000F61 (2013-10-28) Olga Kouchnarenko [France] ; Jean-Francois Weber [France]Adapting Component-based Systems at Runtime via Policies with Temporal Patterns
001346 (2013) Torsten Schubert [Allemagne] ; Marina Palazova [Allemagne] ; Axel Hutt [France]The time course of temporal attention effects on non-conscious prime processing
001377 (2013) Hans Van Ditmarsch [France] ; Wiebe Hoek [Royaume-Uni] ; Ji Ruan [France]Connecting dynamic epistemic and temporal epistemic logics
001472 (2013) Stefan Borgwardt [Allemagne] ; Marcel Lippmann [Allemagne] ; Veronika Thost [Allemagne]Temporal Query Answering in the Description Logic DL-Lite
001537 (2013) Tim French [Australie] ; John Mccabe-Dansted [Australie] ; Mark Reynolds [Australie]Model Checking General Linear Temporal Logic
001606 (2013) Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni]Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
001967 (2012-09-03) Valmi Dufour-Lussier [France] ; Florence Le Ber [France] ; Jean Lieber [France] ; Laura Martin [France]Adapting Spatial and Temporal Cases
001A53 (2012-06-26) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]From Linear Temporal Logic Properties to Rewrite Propositions
001A58 (2012-06-26) Matthieu Geist [France] ; Bruno Scherrer [France] ; Alessandro Lazaric [France] ; Mohammad Ghavamzadeh [France]A Dantzig Selector Approach to Temporal Difference Learning
002057 (2011-10-14) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]From Linear Temporal Logic Properties to Rewrite Propositions
002128 (2011-09-14) Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France]Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
002799 (2011) M. Takruri [Australie] ; S. Rajasegarar [Australie] ; S. Challa [Australie] ; C. Leckie [Australie] ; M. Palaniswami [Australie]Spatio-temporal modelling-based drift-aware wireless sensor networks

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "temporal" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "temporal" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    temporal
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022