2253 search results - page 69 / 451 » Computing with Realizational Morphology |
130
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
Our previous work to accelerate phylogeny inference using HW/SW(Hardware/Software) co-design has recently been extended to a more powerful embedded computing platform. In this pla...
115
click to vote
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
: We discuss a group protocol which supports applications with group communication service when QoS supported by networks or required by applications is changed. An autonomic group...
165
click to vote
STOC
2002
ACM
16 years 4 months ago
2002
ACM
d Abstract) Ran Canetti Yehuda Lindell Rafail Ostrovsky Amit Sahai? We show how to securely realize any multi-party functionality in a universally composable way, regardless of th...
117
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...
135
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...