2646 search results - page 131 / 530 » Local Type Inference |
111
click to vote
ACIVS
2008
Springer
15 years 11 months ago
2008
Springer
In many real-world object recognition applications, texture plays a very important role. Much research has gone into texture-based segmentation methods, which focus on finding the...
150
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
123
click to vote
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
We examine the impact of the loss recovery mechanism on the performance of a reliable multicast protocol. Approaches to reliable multicast can be divided into two major classes: s...
129
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Classifying images using features extracted from densely sampled local patches has enjoyed significant success in many detection and recognition tasks. It is also well known that ...
219
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...