1743 search results - page 91 / 349 » Generalized Modal Satisfiability |
MANSCI
2006
15 years 20 days ago
2006
We propose an agent competition double auction (AC-DA) mechanism in this paper. The AC-DA mechanism is strategy-proof, individual rational, and weakly budget-balanced if the gener...
107
Voted
JAT
2010
14 years 11 months ago
2010
We generally study the density of eigenvalues in unitary ensembles of random matrices from the recurrence coefficients with regularly varying conditions for the orthogonal polynomi...
88
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...
121
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
This research concerns the definition of a service-oriented approach for business processes modeling. Business services are reusable process units that contain one or several proc...
90
Voted
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
We consider a generalization of the codes defined by norm and trace functions on finite fields introduced by Olav Geil. The codes in the new family still satisfy Geil’s dualit...