2646 search results - page 57 / 530 » Local Type Inference |
140
click to vote
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
129
click to vote
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
212
Voted
TCSV
2011
14 years 7 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
100
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
The properties of local image statistics are analyzed in a classic information theoretic setting. Local spatiochromatic image elements are projected into a space in which constitu...