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

Index « Titre (en) » - entrée « integrating »
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.
integrated < integrating < integration  Facettes :

List of bibliographic references indexed by integrating

Number of relevant bibliographic references: 52.
[20-40] [0 - 20][0 - 50][40-51][40-60]
Ident.Authors (with country if any)Title
005466 (2006) J. P. Salmon [France] ; L. Wendling [France] ; S. Tabbone [France]Improving the recognition by integrating the combination of descriptors
005509 (2006) Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
005613 (2006) Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies
006882 (2004) Anis Koubaa ; Ye-Qiong Song(m,k)-WFQ : Integrating (m,k)-Firm Real-Time Constraints into Guaranteed-Rate Networks
006936 (2004) Anis Koubaa ; Ye-Qiong Song ; Jean-Pierre Thomesse [France]Integrating (m,k)-Firm Real-Time Guarantees in the Internet QoS Model
006B82 (2004) Anis Koubaa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France]Integrating (m,k)–Firm Real-Time Guarantees into the Internet QoS Model
006F80 (2004) Anis Koubaa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France]Integrating (m,k)-Firm Real-Time Guarantees in the Internet QoS Model
007092 (2004) Thomas Bangemann ; Jean-Pierre Thomesse [France] ; Raik Strohbach ; Kamil Karbowiak [France]Access to online data - A case study of the PROTEUS strategy of application integrating
007129 (2004) Anis Koubaa [France] ; Ye-Qiong Song [France](m,k)-WFQ : Integrating (m,k)-Firm Real-Time Constraints into Guaranteed-Rate Networks
007A07 (2003) R. Hasan [France] ; A. Bernard [France] ; J. Ciccotelli [France]Proposal of a New Design Approach Integrating the Concept of the Working Situation
008C67 (2001-09) Hung Ledang [France] ; Jeanine Souquières [France]Integrating UML and B Specification Techniques
008E66 (2001) Nicolas Rougier ; Frédéric AlexandreA cerebral framework for integrating biologically plausible mechanisms in large connectionist models
009029 (2001) Hung Ledang ; Jeanine SouquièresIntegrating UML and B Specification Techniques
009635 (2001) Pascal Molli [France] ; Hala Skaf-Molli [France] ; Claude Godart [France] ; Pradeep Ray ; Rajan Shankaran ; Vijay VaradharajanIntegrating Network Services for Virtual Teams
009703 (2001) Nicolas P. Rougier [États-Unis] ; Frédéric Alexandre [France]A cerebral framework for integrating biologically plausible mechanisms in large connectionist models
009E78 (2000) Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne]Integrating Constraint Solving into Proof Planning
009E79 (2000) Erik Poll [Pays-Bas] ; Simon Thompson [Royaume-Uni]Integrating Computer Algebra and Reasoning through the Type System of Aldor
00A508 (1999) Jean-Luc Husson ; Patrice LopezIntegrating Speech Recognition and Natural Language LTAG Techniques with Weighted Synchonized Automata
00A782 (1999) Alessandro Armando ; Gilles Defourneaux ; Michael Rusinowitch ; Sorin StratulatIntegrating decision procedures in Spike
00AC88 (1999) Alessandro Armando [France] ; Gilles Defourneaux [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France]Integrating decision procedures in Spike
00AC89 (1999) Jean-Luc Husson [France] ; Patrice Lopez [France]Integrating Speech Recognition and Natural Language LTAG Techniques with Weighted Synchonized Automata

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 "integrating" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "integrating" \
         | 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é=    integrating
}}

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