3568 search results - page 47 / 714 » Type Analysis for JavaScript |
ICMI
2007
Springer
14 years 2 months ago
2007
Springer
This paper reports on automatic prediction of dialog acts and address types in three-party conversations. Dialogue acts and address types are predicted simultaneously on our frame...
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
ICFP
1997
ACM
14 years 1 days ago
1997
ACM
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
APLAS
2007
ACM
13 years 12 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...