1982 search results - page 389 / 397 » Parametricity and dependent types |
BMCBI
2005
13 years 8 months ago
2005
In task 1A of the BioCreAtIvE evaluation, systems had to be devised that recognize words and phrases forming gene or protein names in natural language sentences. We approach this ...
AAMAS
2004
Springer
13 years 8 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
COGSCI
2004
13 years 8 months ago
2004
Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies ar...
CAD
2002
Springer
13 years 8 months ago
2002
Springer
Nowadays, we increasingly face the situation that possibly heterogeneous workflow environments must be integrated in order to support company-internal business processes as well a...
CLUSTER
2002
IEEE
13 years 8 months ago
2002
IEEE
In this paper, we propose an on-demand distributed clustering algorithm for multi-hop packet radio networks. These types of networks, also known as ad hoc networks, are dynamic in ...