4814 search results - page 532 / 963 » Combining abstract interpreters |
195
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We describe a new approach for estimating the posterior probability of tissue labels. Conventional likelihood models are combined with a curve length prior on boundaries,...
178
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
There has recently been an upsurge of interest in the possibilities of combining structured data and ad-hoc information retrieval from traditional hypertext. In this experiment, w...
155
Voted
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
287
Voted
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
289
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...