1072 search results - page 79 / 215 » Object-Oriented Type Inference |
97
Voted
CORR
2008
Springer
15 years 3 months 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...
155
click to vote
WSDM
2012
ACM
13 years 11 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...
138
Voted
BMCBI
2010
15 years 3 months 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...
148
click to vote
ICFP
2005
ACM
16 years 3 months 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...
134
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...