Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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.

Le cluster bio - inspired

Terms

26bio
49inspired
62checking
701model
47motion
65driven
52perception
87visual

Associations

Freq.WeightAssociation
230.644bio - inspired
180.097inspired - model
410.197checking - model
140.077model - motion
140.066driven - model
140.057model - visual
140.208perception - visual
Documents par ordre de pertinence
005D05 (2005) César Torres-Huitzil ; Bernard Girau ; Claudio Castellanos S ChezOn-chip Visual Perception of Motion : A Bio-inspired Connectionist Model on FPGA
006356 (2005) César Torres-Huitzil [France] ; Bernard Girau [France] ; Claudio Castellanos-Sanchez [France]On-chip visual perception of motion : A bio-inspired connectionist model on FPGA
00F188 (????) César Torres-Huitzil [France] ; Bernard Girau ; Claudio Castellanos-SánchezOn-chip visual perception of motion: a bio-inspired connectionist model on FPGA.
007699 (2003) Claudio Castellanos S Chez ; Frédéric Alexandre ; Bernard GirauTowards bio-inspired neural networks for visual perception of motion
007D35 (2003) Claudio Castellanos Sánchez [France] ; Frédéric Alexandre [France] ; Bernard Girau [France]Towards bio-inspired neural networks for visual perception of motion
005876 (2005-10-21) Claudio Castellanos Sánchez [France]Neuromimetic connectionist model for the embedded
visual perception of motion
005955 (2005-07-31) César Torres-Huitzil [France] ; Bernard Girau [France] ; Claudio Castellanos Sánchez [France]Digital Implementation of a Bio-inspired Neural Model for Motion Estimation
005D15 (2005) César Torres-Huitzil ; Bernard Girau ; Claudio Castellanos S ChezDigital Implementation of a Bio-inspired Neural Model for Motion Estimation
001D81 (2012) Wahiba Taouali [France] ; Nicolas Rougier [France] ; Frédéric Alexandre [France]Visual Target Selection Emerges from a Bio-inspired Network Topology
001F09 (2012) Wahiba Taouali [France] ; Nicolas Rougier [France] ; Frédéric Alexandre [France]Visual Target Selection Emerges from a Bio-inspired Network Topology
002058 (2011-10-14) Mauricio Cerda [France]Distributed neural computation for the visual perception of motion
004571 (2008) Bernard Girau [France] ; César Torres-Huitzil [Mexique]Fast Implementation of a bio-inspired model for decentralized gathering
005842 (2005-12) César Torres-Huitzil [France] ; Bernard Girau [France]FPGA implementation of an excitatory and inhibitory connectionist model for motion perception
005905 (2005-09-20) Claudio Castellanos Sánchez [France] ; Bernard Girau [France]Dynamic pursuit with a bio-inspired neural model
005C67 (2005) Cesar Torres-Huitzil ; Bernard GirauFPGA implementation of an excitatory and inhibitory connectionist model for motion perception
006024 (2005) Claudio Castellanos S Chez ; Bernard GirauDynamic pursuit with a bio-inspired neural model
006268 (2005) Claudio Castellanos Sánchez [France, Mexique] ; Bernard Girau [France]Dynamic Pursuit with a Bio-inspired Neural Model
006372 (2005) Claudio Castellanos Sanchez [France, Mexique] ; Bernard Girau [France]Dynamic pursuit with a bio-inspired neural model
006851 (2004) Claudio Castellanos S Chez ; Bernard Girau ; Frédéric AlexandreA connectionist approach for visual perception of motion
007102 (2004) Claudio Castellanos Sánchez [France] ; Bernard Girau [France] ; Frédéric Alexandre [France]A connectionist approach for visual perception of motion
000039 (2016-04-19) Artem Melnyk [France] ; Patrick Henaff [France]Bio-inspired plastic controller for a robot arm to shake hand with human
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
000465 (2015-06-30) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-Level Model as a Society of Interacting Models: Application to a Collective Motion Example
000688 (2015) Jose Hugo Barron-Zambrano [Mexique] ; Cesar Torres-Huitzil [Mexique] ; Bernard Girau [France]Perception-driven adaptive CPG-based locomotion for hexapod robots
000723 (2015) Paolo Ballarini [France] ; Marie Duflot [France]Applications of an expressive statistical model checking approach to the analysis of genetic circuits
000E78 (2014) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-level Model as a Society of Interacting Models: Application to a Collective Motion Example
001211 (2013-05-29) Elaa Teftef [France] ; Carlos Carvajal [France] ; Thierry Viéville [France] ; Frédéric Alexandre [France]When early vision in the retina attempts to take decisions about visual motion events : the role of konio cells
001537 (2013) Tim French [Australie] ; John Mccabe-Dansted [Australie] ; Mark Reynolds [Australie]Model Checking General Linear Temporal Logic
001734 (2013) Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France]A Bounded Model Checking Approach for the Verification of Web Services Composition
001875 (2012-10-30) Karim Dahman [France]Governance and Analysis of Business Processes Change Impact on Service Oriented Architectures: A Model-Driven Approach
001955 (2012-09-10) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction-based Malware Analysis Using Rewriting and Model Checking
001984 (2012-08-27) Marion Guthmuller [France]State equality detection for implementation-level model-checking of distributed applications
002017 (2011-11-07) Olivier Simonin [France] ; Thomas Huraux [France] ; François Charpillet [France]Interactive Surface for Bio-inspired Robotics, Re-examining Foraging Models
002191 (2011-08-08) Nikolaos Vlassopoulos [France] ; Nazim Fatès [France]Clustering Behavior of a Bio-inspired Decentralized Aggregation Scheme
002397 (2011-04-02) Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France]Combining Proof and Model-checking to Validate Reconfigurable Architectures
002839 (2011) Ingmar Steiner [France] ; Slim Ouni [France]Progress in animation of an EMA-controlled tongue model for acoustic-visual speech synthesis
002934 (2010-12-02) Karim Dahman [France] ; François Charoy [France] ; Claude Godart [France]Generation of Component Based Architecture from Business Processes: Model Driven Engineering for SOA
002965 (2010-11-10) Thomas Girod [France]A model of multimodal learning for a cortically inspired, distributed substrate
002A25 (2010-10-11) Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada]Symbolic Model-Checking of Optimistic Replication Algorithms
002B00 (2010-09) Tianxiang Lu [Allemagne] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Model Checking the Pastry Routing Protocol
002B44 (2010-08-06) Bruno Cessac [France] ; Juan Carlos Vasquez [France] ; Hassan Nasser [France] ; Horacio Rostro-Gonzalez [France] ; Thierry Viéville [France] ; Adrian Palacios [France]Parametric estimation of spike train statistics by Gibbs distributions : an application to bio-inspired and experimental data
003016 (2010) Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada]Symbolic Model-Checking of Optimistic Replication Algorithms
003050 (2010) Christel Baier [Allemagne]On Model Checking Techniques for Randomized Distributed Systems
003142 (2010) Daniele Zucchelli [Italie] ; Enrica Nicolini [France]A Decidability Result for the Model Checking of Infinite-State Systems
003300 (2009-12-09) Mauricio Cerda [France] ; Lucas Terissi [Argentine] ; Bernard Girau [France]Bio-inspired speed detection and discrimination
003437 (2009-08-17) Alexander Schimpf ; Stephan Merz [France] ; Jan-Georg SmausConstruction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
003457 (2009-07-26) Thi Oanh Nguyen [France] ; Salvatore Tabbone [France] ; Alain Boucher [Viêt Nam]A Symbol Spotting Approach Based on the Vector Model and a Visual Vocabulary
003492 (2009-07-06) Nawal Guermouche [France] ; Claude Godart [France]Timed Model Checking Based Approach forWeb Services Analysis
003493 (2009-07-06) Carlos Areces [France] ; Diego Figueira [France] ; Daniel Gorin ; Sergio MeraTableaux and Model Checking for Memory Logics
003506 (2009-07) Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]TAGED Approximations for Temporal Properties Model-Checking
003523 (2009-06-26) Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]Model-checking Distributed Applications with GRAS
003556 (2009-06-09) Hanifa Boucheneb [Canada] ; Abdessamad Imine [France]On Model-Checking Optimistic Replication Algorithms
003786 (2009) Maria-Jose Escobar [France] ; Guillaume Masson [France] ; Thierry Viéville [France] ; Pierre Kornprobst [France]Action Recognition Using a Bio-Inspired Feedforward Spiking Network
003A18 (2009) Stefan Winkler [Allemagne] ; Jens Von Pilgrim [Allemagne]A survey of traceability in requirements engineering and model-driven development
003B76 (2009) Randa Kassab [France] ; Frédéric Alexandre [France]Incremental data-driven learning of a novelty detection model for one-class classification with application to high-dimensional noisy data
003B77 (2009) S. Yilmaz [France] ; P. Jonveaux [France] ; C. Bicep [France] ; L. Pierron [France] ; M. Small-Tabbone [France] ; M. D. Devignes [France]Gene-disease relationship discovery based on model-driven data integration and database view definition
003C25 (2009) Z. Chen ; Amine Bermak [Hong Kong] ; Dominique Martinez [France]Towards a bio-inspired micro-electronic nose
003C62 (2009) Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]Model-checking Distributed Applications with GRAS
003F38 (2008-06-30) Leo Ghemtio [France] ; Emmanuel Bresso ; Michel Souchet ; Bernard Maigret [France] ; Malika Smaïl-Tabbone [France] ; Marie-Dominique Devignes [France]Model-driven data integration for mining protein-ligand and protein-protein interactions in a drug design context.
004002 (2008-05-25) Joris Rehm [France]From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking
004031 (2008-04-23) Mauricio Cerda [France] ; Bernard Girau [France]A neural model with feedback for robust disambiguation of motion
004214 (2008) S. Yilmaz ; P. Jonveaux ; C. Bicep [France] ; L. Pierron [France] ; M. Smaïl-Tabbone [France] ; M. D. Devignes [France]Gene–disease relationship discovery based on model-driven data integration and database view definition
004290 (2008) Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie]Towards SMT Model Checking of Array-Based Systems
004373 (2008) Randa Kassab [France] ; Frédéric Alexandre [France]Incremental data-driven learning of a novelty detection model for one-class classification with application to high-dimensional noisy data
004416 (2008) Cesar Torres-Huitzil [Mexique] ; Bernard Girau [France] ; Miguel Arias-Estrada [Mexique]Biologically-Inspired Digital Architecture for a Cortical Model of Orientation Selectivity
004512 (2008) Nawal Guermouche [France] ; Claude Godart [France]Timed Model Checking Based Approach for Compatibility Analysis of Synchronous Web Services
004572 (2008) Hanifa Boucheneb [Canada] ; Abdessamad Imine [France]Experiments in Model-Checking Optimistic Replication Algorithms
004601 (2008) Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Approximation based tree regular model checking
004602 (2008) Stephan Merz [France]An introduction to model checking
004661 (2007-11-08) Eunyoung Kang [France]Tool supported real-time system verification with combination of abstraction/deduction and model checking
004932 (2007-05-21) Radu State [France] ; Vincent Cridlig [France] ; Olivier Festor [France]A model for checking consistency in access control policies for network management
004A31 (2007) Slim Ouni [France] ; Michael Cohen [États-Unis] ; Hope Ishak [États-Unis] ; Dominic Massaro [États-Unis]Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads
004C91 (2007) Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France]Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
004D31 (2007) Jérémy Fix [France] ; Julien Vitay [France] ; Nicolas P. Rougier [France]A Distributed Computational Model of Spatial Memory Anticipation During a Visual Search Task
004E28 (2007) Laurent Vigneron [France] ; Najah Chridi [France]Strategy for Flaws Detection based on a Services-driven Model for Group Protocols
004E30 (2007) Maria-Jose Escobar [France] ; Guillaume Masson [France] ; Thierry Viéville [France] ; Pierre Kornprobst [France]Spike to Spike Model and Applications: A biological plausible approach for the motion processing
004E94 (2007) Jérémy Fix [France] ; Julien Vitay [France] ; Nicolas P. Rougier [France]A distributed computational model of spatial memory anticipation during a visual search task
004F89 (2006-09-30) Jérémy Fix [France] ; Julien Vitay [France] ; Nicolas P. Rougier [France]A Computational Model of Spatial Memory Anticipation during Visual Search
004F93 (2006-09-25) Najah Chridi [France] ; Laurent Vigneron [France]Strategy for Flaws Detection based on a Services-driven Model for Group Protocols
005262 (2006) Jean-Pierre Mano [France] ; Christine Bourjot [France] ; Gabriel Lopardo [Espagne] ; Pierre Glize [France]Bio-inspired Mechanisms for Artificial Self-organised Systems
005357 (2006) Brian Elves Ter [Norvège] ; Axel Hahn [Allemagne] ; Arne-J Rgen Berre [Norvège] ; Tor Neple [Norvège]Towards an Interoperability Framework for Model-Driven Development of Software Systems
005487 (2006) David H. Akehurst [Royaume-Uni]Experiment in Model Driven Validation of BPEL Specifications
005844 (2005-11-29) Eunyoung Kang [France]Real-Time system verification techniques based on abstraction/deduction and model checking
005A62 (2005-04) Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly On-The-Fly LTL Model Checking
005C65 (2005) Moritz Hammer ; Alexander Knapp ; Stephan MerzTruly On-The-Fly LTL Model Checking
005D39 (2005) Slim Ouni ; Michael M. Cohen ; Dominic W. Massaro ; Hope IshakVisual Contribution to Speech Perception : Measuring the Intelligibility of Talking heads
005D89 (2005) Eunyoung KangReal-Time system verification techniques based on abstraction/deduction and model checking
005F78 (2005) Julien Vitay ; Nicolas P. Rougier ; Frédéric AlexandreA Distributed Model of Spatial Visual Attention
005F79 (2005) Jean-Pierre Mano ; Christine Bourjot ; Gabriel Lopardo ; Pierre GlizeBio-inspired Mechanisms for Artificial Self-organised Systems
006044 (2005) Jean Christophe Sarrazin ; Arnaud Tonnelier ; Frédéric AlexandreA model of contextual effect on reproduced extents in recall tasks : The issue of the imputed motion hypothesis
006165 (2005) Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly On-the-Fly LTL Model Checking
006313 (2005) Jean-Christophe Sarrazin [France] ; Arnaud Tonnelier [France] ; Frederic Alexandre [France]A model of contextual effect on reproduced extents in recall tasks: the issue of the imputed motion hypothesis
006327 (2005) Julien Vitay [France] ; Nicolas P. Rougier [France] ; Frédéric Alexandre [France]A Distributed Model of Spatial Visual Attention
006451 (2005) Slim Ouni [France] ; Michael Cohen [États-Unis] ; Dominic Massaro [États-Unis] ; Hope Ishak [États-Unis]Visual Contribution to Speech Perception: Measuring the Intelligibility of Talking heads.
006583 (2004-11) Olivier Ménard [France] ; Stéphane Vialle ; Hervé Frezza-BuetMaking Cortically-Inspired Sensorimotor Control Realistic for Robotics: Design of an Extended Parallel Cellular Programming Model
007096 (2004) Dominique Martinez [France] ; Etienne Hugues [France]A spiking neural network model of the locust antennal lobe: Towards neuromorphic electronic noses inspired from insect olfaction
007174 (2003-09) Christophe Cerisara [France] ; Irina Illina [France]Robust speech recognition to non-stationary and unpredictable noise based on model-driven approaches
007533 (2003) Christophe Cerisara ; Irina IllinaRobust speech recognition to non-stationary and unpredictable noise based on model-driven approaches
007983 (2003) Nathalie Chabrier [France] ; François Fages [France]Symbolic Model Checking of Biochemical Networks
007997 (2003) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Pierre Ganty [Italie]SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
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