4270 search results - page 448 / 854 » A Permutation Approach to Validation |
172
click to vote
SEMWEB
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...
170
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
Text classification systems on biomedical literature aim to select relevant articles to a specific issue from large corpora. Most systems with an acceptable accuracy are based o...
176
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
194
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
194
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...