4460 search results - page 416 / 892 » Resources in process algebra |
151
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
166
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
197
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
186
click to vote
CCECE
2006
IEEE
16 years 28 days ago
2006
IEEE
The goal of this paper is to present a new recipe for the fractal image decoding process. In this paper, we explain how fractal-based methods can be internally combined with regul...
214
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...