4767 search results - page 521 / 954 » Structures for Abstract Rewriting |
218
click to vote
IPMI
2007
Springer
16 years 8 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,...
217
click to vote
WWW
2009
ACM
16 years 8 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...
185
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
298
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
317
click to vote
CP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...