5608 search results - page 904 / 1122 » On the Theory of Matchgate Computations |
141
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
109
click to vote
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
111
click to vote
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
CF
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...
124
click to vote
CSCW
2006
ACM
15 years 8 months ago
2006
ACM
The CSCW conference is celebrating its 20th birthday. This is a perfect time to analyze the coherence of the field, to examine whether it has a solid core or sub-communities, and ...