1188 search results - page 83 / 238 » Arithmetic Fuzzy Models |
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently, Chen et al. proposed a method for compressing color-quantized images that is based on a binary tree representation of colors and on context-based arithmetic coding with ...
75
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
69
Voted
JCP
2006
14 years 10 months ago
2006
Abstract-- The paper details a scheme for lossless compression of short data series larger than 50 Bytes. The method uses arithmetic coding and context modeling with a low-complexi...
100
click to vote
DLOG
2008
15 years 13 days ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...