2646 search results - page 67 / 530 » Local Type Inference |
78
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
: In this paper we present several algorithmic techniques for inferring the structure of a company when only a limited amount of information is available. We consider problems with...
123
click to vote
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
114
Voted
BMCBI
2010
15 years 21 days ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
PAMI
2008
15 years 16 days ago
2008
We present a novel local spatiotemporal approach to produce motion segmentation and dense temporal trajectories from an image sequence. A common representation of image sequences i...
122
Voted
ICFP
2005
ACM
16 years 16 days ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...