80 search results - page 12 / 16 » The Logic of Perfect MV-algebras |
WSC
2000
14 years 10 months ago
2000
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
DAM
2002
14 years 9 months ago
2002
In K(n, n) with edges colored either red or blue, we show that the problem of finding a solution matching, a perfect matching consisting of exactly r red edges, and (n - r) blue e...
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Reconfigurable Systems-on-Chip (SoCs) on the market consist of full-fledged processors and large Field-Programmable Gate-Arrays (FPGAs). The latter can be used to implement the sy...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Design principles for XML schemas that eliminate redundancies and avoid update anomalies have been studied recently. Several normal forms, generalizing those for relational databa...
IWNAS
2008
IEEE
15 years 3 months ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...