517 search results - page 43 / 104 » Specification transformers: a predicate transformer approach... |
ACSC
2009
IEEE
14 years 3 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
PRIS
2004
13 years 10 months ago
2004
Abstract. This paper treats on rotation absorption in neural networks for multioriented character recognition. Classical approaches are based on several rotation invariant features...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...
CEC
2007
IEEE
14 years 15 days ago
2007
IEEE
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...