2905 search results - page 178 / 581 » Formal Memetic Algorithms |
FROCOS
2009
Springer
14 years 5 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
KCAP
2009
ACM
14 years 4 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
KCAP
2009
ACM
14 years 4 months ago
2009
ACM
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...
CAISE
2007
Springer
14 years 4 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...