931 search results - page 149 / 187 » aime 2005 |
ACS
2005
14 years 9 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
ANOR
2005
14 years 9 months ago
2005
The pilot method as a meta-heuristic is a tempered greedy method aimed at obtaining better solutions while avoiding the greedy trap by looking ahead for each possible choice. Repea...
63
Voted
BEHAVIOURIT
2005
14 years 9 months ago
2005
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
BIB
2005
14 years 9 months ago
2005
The Biomolecular Interaction Network Database (BIND) (http://bind.ca) archives biomolecular interaction, reaction, complex and pathway information. Our aim is to curate the detail...
BMCBI
2005
14 years 9 months ago
2005
Background: Molecular Biology accumulated substantial amounts of data concerning functions of genes and proteins. Information relating to functional descriptions is generally extr...