10493 search results - page 1399 / 2099 » Dynamic Word Problems |
181
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
187
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present the LIP6 annotation models for the ImageCLEFannotation 2010 task. We study two methods to train and merge the results of different classifiers in order to...
203
click to vote
CIIA
2009
15 years 8 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
169
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Although the recent advances in the sparse representations of images have achieved outstanding denosing results, removing real, structured noise in digital videos remains a challen...
198
click to vote
ECWEB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Reviews and review based rankings are widely used in recommendation systems to provide potential customers quality information about selected products. During the last ye...