4770 search results - page 100 / 954 » Flexible Type Analysis |
129
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
117
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
146
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper presents a technique to efficiently index and retrieve video clips in terms of motion-trajectory-based similarity. We describe the motion trajectory in three representa...
121
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
122
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper considers a recently proposed method for unsupervised learning and dimensionality reduction, locally linear embedding (LLE). LLE computes a compact representation of hi...