3568 search results - page 73 / 714 » Type Analysis for JavaScript |
PAKDD
1999
ACM
14 years 5 days ago
1999
ACM
In this paper, we analyze quantitative measures associated with if-then type rules. Basic quantities are identified and many existing measures are examined using the basic quantit...
AUTOMATICA
2006
13 years 8 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 3 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
12 years 11 months 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...
TON
2008
13 years 7 months ago
2008
The one type of routing in ad hoc and sensor networks that currently appears to be most amenable to algorithmic analysis