4116 search results - page 145 / 824 » Type Analysis for CHIP |
119
Voted
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
126
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
133
Voted
JSW
2008
15 years 2 months ago
2008
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
128
Voted
SIGIR
2006
ACM
15 years 8 months ago
2006
ACM
Co-occurrence data is quite common in many real applications. Latent Semantic Analysis (LSA) has been successfully used to identify semantic relations in such data. However, LSA c...
161
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...