3717 search results - page 320 / 744 » Representing Multiple Theories |
165
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
167
click to vote
SIGECOM
2005
ACM
16 years 12 days ago
2005
ACM
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
147
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
161
click to vote
AI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
177
Voted
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper examines the value drivers and e-business infrastructures for collaborative commerce across two distinct types of business-to-business governance arrangements in Financ...