3082 search results - page 137 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
MSOM
2007
15 years 5 months ago
2007
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
184
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A new emerging field, that of visual stylometry of art, proposes to apply image analysis and machine learning tools to high-resolution digital images of artwork in order to assis...
157
click to vote
ISIM
2007
15 years 7 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
183
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel texture descriptor based on the wavelet transform. First, we will consider vertical and horizontal coefficients at the same position as the components o...