Search
Now showing items 121-123 of 123
Presentation
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)
The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a family of logical formalisms for representing and reasoning about conceptual and terminological ...
Presentation
About Designing an Observer Pattern-Based Architecture for a Multi-objective Metaheuristic Optimization Framework
(Springer, 2018)
Multi-objective optimization with metaheuristics is an active and popular research field which is supported by the availability of software frameworks providing algorithms, benchmark problems, quality indicators and ...
Article
On the design of a framework integrating an optimization engine with streaming technologies
(Elsevier, 2020)
A number of streaming technologies have appeared in the last years as a result of the rising of Big Data applications. Nowadays, deciding which technology to adopt is not an easy task due not only to the number of available ...