4930 search results - page 142 / 986 » Testing a Safety-Critical Application |
140
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
196
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...
163
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
199
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
132
click to vote
IPM
2002
15 years 6 months ago
2002
10 There have been recent applications of genetic algorithms to information retrieval, mostly with respect to 11 relevance feedback. Nevertheless, they are yet to be evaluated in ...