2905 search results - page 178 / 581 » Formal Memetic Algorithms |
124
Voted
FROCOS
2009
Springer
15 years 10 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...
116
click to vote
SEMWEB
2009
Springer
15 years 10 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...
103
Voted
KCAP
2009
ACM
15 years 10 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...
122
Voted
KCAP
2009
ACM
15 years 10 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...
135
Voted
CAISE
2007
Springer
15 years 9 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...