24132 search results - page 12 / 4827 » and 2009 |
73
Voted
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
The Third Workshop on Teaching Computational Science, within the International Conference on Computational Science, provides a platform for discussing innovations in teaching compu...
INEX
2009
Springer
15 years 2 months ago
2009
Springer
This paper gives an overview of the INEX 2009 Ad Hoc Track. The main goals of the Ad Hoc Track were three-fold. The first goal was to investigate the impact of the collection scal...
FMSD
2010
14 years 8 months ago
2010
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents and discusses the results of the latest developments of the MapPSO system, which is an ontology alignment approach that is based on discrete particle ...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...