724 search results - page 60 / 145 » Color, context, and compositionality |
169
Voted
FORTE
2009
15 years 1 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
118
Voted
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
WSC
2008
15 years 5 months ago
2008
We consider the ranking and selection of normal means in a fully sequential Bayesian context. By considering the sampling and stopping problems jointly rather than separately, we ...
134
Voted
COLING
1996
15 years 4 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
128
click to vote
MVA
2000
15 years 4 months ago
2000
Content-based image retrieval is a fairly new discipline. Yet research in this field has highlighted many approaches that show good performance in specific subproblems using singl...