1677 search results - page 281 / 336 » On the Completeness of Quantum Computation Models |
123
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
129
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
128
click to vote
ICEIS
2008
IEEE
15 years 8 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
121
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
118
click to vote
SMI
2008
IEEE
15 years 7 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...