605 search results - page 43 / 121 » Dynamic inference of abstract types |
126
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
116
Voted
AIRS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
103
Voted
ACRI
2004
Springer
15 years 9 months ago
2004
Springer
Large areas of savannas are found in Africa in climatic zones favourable to humid tropical forests: they are relicts of past dry periods and forest domains are naturally expanding....
146
Voted
IICS
2010
Springer
15 years 7 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...
205
Voted
ALDT
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...