Sciweavers

2159 search results - page 81 / 432
» An Artificial Chemistry for Networking
Sort
View
AMI
2009
Springer
15 years 10 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
EVOW
2006
Springer
15 years 10 months ago
A Neural Evolutionary Classification Method for Brain-Wave Analysis
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approach...
Antonia Azzini, Andrea Tettamanzi
FLAIRS
2008
15 years 8 months ago
Small Models of Large Machines
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
Pramod Lakshmi Narasimha, Sanjeev S. Malalur, Mich...
FLAIRS
2000
15 years 7 months ago
Distributed Multi-Agent MSBN: Implementing Verification
Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...
Hongyu Geng, Yang Xiang
NPL
2000
88views more  NPL 2000»
15 years 6 months ago
Learning Synaptic Clusters for Nonlinear Dendritic Processing
Nonlinear dendritic processing appears to be a feature of biological neurons and would also be of use in many applications of artificial neural networks. This paper presents a mod...
Michael W. Spratling, Gillian Hayes