4116 search results - page 133 / 824 » Type Analysis for CHIP |
AUTOMATICA
2006
13 years 9 months ago
2006
Resource allocation involves deciding how to divide a resource of limited availability among multiple demands in a way that optimizes current objectives. In this brief paper we fo...
APAL
2011
13 years 4 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
ACLLAW
2011
13 years 16 days ago
2011
In this paper, we first analyze and classify the empty categories in a Hindi dependency treebank and then identify various discovery procedures to automatically detect the existe...
BMCBI
2005
13 years 8 months ago
2005
Background: Microscopists are familiar with many blemishes that fluorescence images can have due to dust and debris, glass flaws, uneven distribution of fluids or surface coatings...
TON
2008
13 years 8 months ago
2008
The one type of routing in ad hoc and sensor networks that currently appears to be most amenable to algorithmic analysis