2761 search results - page 14 / 553 » Collaborative model merging |
CSCWD
2005
Springer
14 years 1 months ago
2005
Springer
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...
TABLEAUX
1999
Springer
13 years 12 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
ICCV
1998
IEEE
14 years 9 months ago
1998
IEEE
EVOW
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
CVPR
2003
IEEE
14 years 27 days ago
2003
IEEE