3379 search results - page 644 / 676 » Combinators for Interaction Nets |
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
CIKM
2003
Springer
14 years 2 months ago
2003
Springer
Content-Based Image Retrieval (CBIR) presents several challenges and has been subject to extensive research from many domains, such as image processing or database systems. Databa...
ICANN
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
BIBM
2009
IEEE
14 years 2 months ago
2009
IEEE
—A comprehensive understanding of cancer progression may shed light on genetic and molecular mechanisms of oncogenesis, and it may provide much needed information for effective d...
TRUST
2010
Springer
14 years 2 months ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...