605 search results - page 43 / 121 » Dynamic inference of abstract types |
CONCUR
2006
Springer
14 years 18 days 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...
AIRS
2010
Springer
13 years 7 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...
ACRI
2004
Springer
14 years 2 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....
IICS
2010
Springer
14 years 15 days 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...
ALDT
2011
Springer
12 years 8 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...