seams < search < searches

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by search

Number of relevant bibliographic references: 154.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
001668 (2013)	Zhé H U [Australie] ; Alwen Tiu [Australie] ; Rajeev Goré [Australie]	A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
001997 (2012-08-15)	Jilles Steeve Dibangoye [France] ; Amato Christopher [États-Unis] ; Doniec Arnaud [France]	Scaling Up Decentralized MDPs Through Heuristic Search
001B91 (2012-03-26)	Amine Boumaza [France] ; Armelle Brun [France]	Stochastic Search for Global Neighbors Selection in Collaborative Filtering
002380 (2011-05-01)	Claude Kirchner [France] ; Helene Kirchner [France] ; Fabrice Nahon [France]	Narrowing Based Inductive Proof Search
002532 (2011)	Joerg Hoffmann [France]	Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+
002550 (2011)	Clement Jonquet [États-Unis, France] ; Paea Lependu [États-Unis] ; Sean Falconer [États-Unis] ; Adrien Coulet [États-Unis, France] ; Natalya F. Noy [États-Unis] ; Mark A. Musen [États-Unis] ; Nigam H. Shah [États-Unis]	NCBO Resource Index: Ontology-Based Search and Mining of Biomedical Resources
002727 (2011)	Arnaud Liefooghe [France] ; Luís Paquete [Portugal] ; Marco Sim Es [Portugal] ; José R. Figueira [France]	Connectedness and Local Search for Bicriteria Knapsack Problems
002987 (2010-10-27)	A. Liefooghe [France] ; L. Paquete ; M. Sim Es ; José Figueira [France]	Local search for the bi-objective unconstrained optimization problem.
002B85 (2010-07-08)	Hootan Nakhost [Canada] ; Joerg Hoffmann [France] ; Martin Müller [Canada]	Improving Local Search for Resource-Constrained Planning
002D40 (2010-04-28)	Maha Idrissi Aouad [France] ; René Schott [France] ; Olivier Zendra [France]	A Tabu Search Heuristic for Scratch-Pad Memory Management
002E18 (2010-02-15)	Olivier Buffet [France] ; Liliana Cucu [France] ; Lhassane Idoumghar [France] ; René Schott [France]	Tabu search type algorithms for the multiprocessor scheduling problem
003731 (2009-01)	Monique Grandbastien [France] ; Benjamin Huynh-Kim-Bang [France] ; Anne Monceaux [France]	Knowledge Framework supporting semantic search of learning resources
003942 (2009)	Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France]	Inductive proof search modulo
003977 (2009)	Georges Quénot [France] ; Tien Ping Tan [France] ; Viet Bac Le [France] ; Stéphane Ayache [France] ; Laurent Besacier [France] ; Philippe Mulhem [France]	Content-based search in multilingual audiovisual documents using the International Phonetic Alphabet
003C85 (2009)	Georges Quénot [France] ; Tien-Ping Tan ; Viet-Bac Le [France] ; Stéphane Ayache [France] ; Laurent Besacier [France] ; Philippe Mulhem [France]	Content-Based Search in Multilingual Audiovisual Documents using the International Phonetic Alphabet
003F46 (2008-06-23)	Monique Grandbastien [France] ; Benjamin Huynh-Kim-Bang [France] ; Tomas Pariente-Lobo ; Miguel-Angel Sicilia	The LUISA framework for enabling semantic search of learning resources
004154 (2008)	Fabrice Touzain ; Sophie Schbath [France] ; Isabelle Debled-Rennesson [France] ; Bertrand Aigle [France] ; Gregory Kucherov [France] ; P. Leblond	SIGffRid: A tool to search for sigma factor binding sites in bacterial genomes using comparative approach and biologically driven statistics
004205 (2008)	Fabrice Touzain [France] ; Sophie Schbath ; Isabelle Debled-Rennesson ; Bertrand Aigle ; Gregory Kucherov ; Pierre Leblond	SIGffRid: a tool to search for sigma factor binding sites in bacterial genomes using comparative approach and biologically driven statistics.
004350 (2008)	Olivier Christmann [France] ; Noëlle Carbonell [France]	Navigation and Search in 3D Visualizations of Large Unstructured Photo Collections: An Empirical Study
004665 (2007-11-05)	Philippe Kislin [France]	Modelisation of the watcher information search problem (WISP) in the economic intelligence process
004759 (2007-09)	Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Inductive Proof Search Modulo

---

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 "search" 

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

---

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