572 search results - page 62 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes and analyzes the aggregation pheromone system (APS) algorithm, which extends ant colony optimization (ACO) to continuous domains. APS uses the collective behav...
PRICAI
2000
Springer
14 years 13 days ago
2000
Springer
In this paper, we propose a system called kMedia that can assist users to form knowledge for community by showing shared topics networks (STN) among them. One of the important aspe...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents a neural network model of demyelination of the mouse motor pathways, coupled to a central pattern generation (CPG) model for quadruped walking. Demyelinatio...