Sciweavers

2761 search results - page 14 / 553
» Collaborative model merging
Sort
View
CSCWD
2005
Springer
15 years 5 months ago
Content-Oriented Knowledge Modeling for Automated Parts Library Ontology Merging
The digital parts libraries or electronic parts catalogs have opened up a vast potential for new electronic forms of product components procurement. However, their seamless integra...
Joonmyun Cho, Hyun Kim, Soonhung Han
TABLEAUX
1999
Springer
15 years 4 months ago
Merge Path Improvements for Minimal Model Hyper Tableaux
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
Peter Baumgartner, Joseph Douglas Horton, Bruce Sp...
EVOW
2005
Springer
15 years 5 months ago
Heuristic Colour Assignment Strategies for Merge Models in Graph Colouring
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
István Juhos, Attila Tóth, Jano I. v...