365 search results - page 35 / 73 » First-order logical filtering |
ISCAS
2002
IEEE
14 years 23 days ago
2002
IEEE
In this paper, an analog implementation of the Wavelet Transform (WT) is presented. The circuit is based on the Dynamic Translinear (DTL) circuit technique and implements, by mean...
FSKD
2010
Springer
13 years 9 months ago
2010
Springer
FSKD
2008
Springer
13 years 9 months ago
2008
Springer
PODS
2006
ACM
14 years 8 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...