2646 search results - page 167 / 530 » Local Type Inference |
189
Voted
IICS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract: The article presents a model of the structural properties of virtual communities and the information they can access. It argues that a large part of the information – a...
206
click to vote
NETWORKING
2004
15 years 7 months ago
2004
This paper proposes a novel reliable multicast transport protocol for multi-hop, wireless ad hoc networks (or MANETs). To recover from the different types of losses that may occur ...
171
click to vote
IJCV
1998
15 years 6 months ago
1998
Object localization using sensed data features and corresponding model features is a fundamental problem in machine vision. We reformulate object localization as a least squares p...
190
click to vote
TIP
2011
15 years 1 months ago
2011
—Recently, many object localization models have shown that incorporating contextual cues can greatly improve accuracy over using appearance features alone. Therefore, many of the...
170
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...