Sciweavers

6506 search results - page 989 / 1302
» Algorithmic models for sensor networks
Sort
View
GECCO
2003
Springer
158views Optimization» more  GECCO 2003»
15 years 9 months ago
Active Control of Thermoacoustic Instability in a Model Combustor with Neuromorphic Evolvable Hardware
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...
John C. Gallagher, Saranyan Vigraham
184
Voted
ICANN
2009
Springer
15 years 8 months ago
Bayesian Estimation of Kernel Bandwidth for Nonparametric Modelling
Kernel density estimation (KDE) has been used in many computational intelligence and computer vision applications. In this paper we propose a Bayesian estimation method for findin...
Adrian G. Bors, Nikolaos Nasios
ESWA
2006
243views more  ESWA 2006»
15 years 3 months ago
Knowledge based crime scenario modelling
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
Jeroen Keppens, Burkhard Schafer
JSAC
2007
139views more  JSAC 2007»
15 years 3 months ago
Reverse-Engineering MAC: A Non-Cooperative Game Model
— This paper reverse-engineers backoff-based random-access MAC protocols in ad-hoc networks. We show that the contention resolution algorithm in such protocols is implicitly part...
Jang-Won Lee, Ao Tang, Jianwei Huang, Mung Chiang,...
141
Voted
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 7 months ago
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürj...