Sciweavers

2024 search results - page 167 / 405
» A Formal Model of Multi-agent Computations
Sort
View
COMBINATORICS
2007
67views more  COMBINATORICS 2007»
15 years 4 months ago
Directed Animals and Gas Models Revisited
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
Yvan Le Borgne, Jean-François Marckert
EMSOFT
2005
Springer
15 years 10 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
ISCAS
2008
IEEE
119views Hardware» more  ISCAS 2008»
15 years 11 months ago
Adjusting the neurons models in neuromimetic ICs using the voltage-clamp technique
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
Sylvain Saïghi, Laure Buhry, Yannick Bornat, ...
ISCAS
2006
IEEE
101views Hardware» more  ISCAS 2006»
15 years 10 months ago
Neuromimetic ICs and system for parameters extraction in biological neuron models
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...
Sylvain Saïghi, Yannick Bornat, Jean Tomas, S...
NIPS
2003
15 years 5 months ago
A Model for Learning the Semantics of Pictures
We propose an approach to learning the semantics of images which allows us to automatically annotate an image with keywords and to retrieve images based on text queries. We do thi...
Victor Lavrenko, R. Manmatha, Jiwoon Jeon