2171 search results - page 67 / 435 » A Generic Process Algebra |
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We study the invertibility of M-variate polynomial (respectively : Laurent polynomial) matrices of size N by P. Such matrices represent multidimensional systems in various setting...
95
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
98
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper we present a generic content-based solution targeting at authenticating image in a semi-fragile way, which integrates watermarking-based approach with signature-base...
125
Voted
JUCS
2008
15 years 21 days ago
2008
: Mass digitization of document collections with further processing and semantic annotation is an increasing activity among libraries and archives at large for preservation, browsi...
115
click to vote
APN
1995
Springer
15 years 4 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...