345 search results - page 38 / 69 » Computer-Assisted Simulation Proofs |
121
click to vote
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
112
click to vote
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
160
click to vote
ICNP
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we give a general definition of weighted fairness and discuss how a pricing policy can be mapped to general weighted (GW) fairness. The GW fairness can be achieved b...
107
click to vote
COCO
1992
Springer
15 years 6 months ago
1992
Springer
We characterize the classes of functions computable by uniform log-depth (NC1) and polylog-depth circuit families as closures of a set of base functions. (The former is equivalent...
104
click to vote
CIARP
2006
Springer
15 years 6 months ago
2006
Springer
Linear dimensionality reduction (LDR) is quite important in pattern recognition due to its efficiency and low computational complexity. In this paper, we extend the two-class Chern...