4353 search results - page 319 / 871 » Expressiveness of Process Algebras |
163
click to vote
EPIA
2009
Springer
15 years 10 months ago
2009
Springer
Though polarity classification has been extensively explored at various text levels and domains, there has been only comparatively little work looking into topic-related polarity c...
211
click to vote
IFIP13
2004
15 years 8 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
170
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
198
click to vote
SIAMSC
2008
15 years 6 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
147
click to vote
ENTCS
2010
15 years 6 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...