237 search results - page 24 / 48 » Toward Verified Biological Models |
113
Voted
CONNECTION
2006
14 years 9 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
101
click to vote
ADBIS
2007
Springer
15 years 1 months ago
2007
Springer
Existing work repeatedly addresses that the ubiquitous positioning devices will start to generate an unprecedented stream of time-stamped positions leading to storage and computati...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The current work addresses the development of cognitive abilities in artificial organisms. In the proposed approach, neural network-based agent structures are employed to represen...
AUSAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...