3207 search results - page 256 / 642 » A Semantics for HTN Methods |
151
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
144
click to vote
CIVR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...
129
click to vote
MTA
2006
15 years 4 months ago
2006
Abstract. Query-by-example and query-by-keyword both suffer from the problem of "aliasing," meaning that example-images and keywords potentially have variable interpretat...
156
click to vote
JVCIR
2010
15 years 2 months ago
2010
We propose a probabilistic graphical model to represent weakly annotated images1 . This model is used to classify images and automatically extend existing annotations to new image...
127
click to vote
APAL
2002
15 years 4 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...