4126 search results - page 21 / 826 » Relationships with other Formalisms |
WINE
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
DLOG
1996
1996
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
14 years 11 months ago
The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...
IFIP12
2008
14 years 11 months ago
2008
The Repertory Grid method is widely used in knowledge engineering to infer functional relationships between constructs given by an expert. The method is ignoring information that c...
TCOM
2010
14 years 8 months ago
2010
—Belief propagation, via a novel reinterpretation of the Bethe free energy’s pseudo-dual, is shown to be related to a novel relaxation of maximum likelihood detection via a con...
158
click to vote
FM
1997
Springer
15 years 1 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...