5105 search results - page 242 / 1021 » An algorithm to determine peer-reviewers |
166
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
150
click to vote
CIRA
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper discusses utilizing genetic algorithms to automatically design a suitable sensor morphology and controller for a given task in categories of environments. The type o...
165
click to vote
ISBI
2007
IEEE
16 years 28 days ago
2007
IEEE
A new algorithm for determining the location of a fluorescent probe in the plane is described. Inspired by the Bancroft algorithm for localization in the global positioning syste...
191
click to vote
ICIC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
195
click to vote
PACT
2007
Springer
16 years 23 days ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...