1604 search results - page 321 / 321 » Development Separation in Lambda-Calculus |
AAAI
2011
12 years 4 months ago
2011
In order to better protect and conserve biodiversity, ecologists use machine learning and statistics to understand how species respond to their environment and to predict how they...
EDOC
2011
IEEE
12 years 4 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
VTC
2010
IEEE
13 years 3 months ago
2010
IEEE
— In this paper we propose joint optimisation of soft-bit assisted iterative joint source and channel decoding with the aid of our proposed EXIT chart optimised redundant source ...
IJHPCA
2011
12 years 11 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...