3568 search results - page 141 / 714 » Type Analysis for JavaScript |
SSIAI
2002
IEEE
14 years 2 months ago
2002
IEEE
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...
ISSAC
1998
Springer
14 years 1 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
AVI
2008
13 years 11 months ago
2008
To make sense from large amounts of movement data (sequences of positions of moving objects), a human analyst needs interactive visual displays enhanced with database operations a...
ICCCI
2011
Springer
12 years 9 months ago
2011
Springer
This paper presents an exploration of the differences between agent-based and population-based models for trust dynamics. This exploration is based on both a large variety of simu...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...