1585 search results - page 160 / 317 » A framework for computer-aided validation |
116
Voted
ICTAI
2002
IEEE
15 years 8 months ago
2002
IEEE
Wavelet neural networks (WNN) have recently attracted great interest, because of their advantages over radial basis function networks (RBFN) as they are universal approximators bu...
126
click to vote
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
153
Voted
KR
2010
Springer
2010
Springer
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
15 years 8 months ago
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
143
click to vote
MOMM
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
140
Voted
HAIS
2009
Springer
2009
Springer
Automatic Clustering Using a Synergy of Genetic Algorithm and Multi-objective Differential Evolution
15 years 8 months ago
— This paper applies the Differential Evolution (DE) and Genetic Algorithm (GA) to the task of automatic fuzzy clustering in a Multi-objective Optimization (MO) framework. It com...