Sciweavers

41 search results - page 3 / 9
» An axiomatization of family resemblance
Sort
View
ADVIS
2004
Springer
15 years 1 months ago
On Families of New Adaptive Compression Algorithms Suitable for Time-Varying Source Data
In this paper, we introduce a new approach to adaptive coding which utilizes Stochastic Learning-based Weak Estimation (SLWE) techniques to adaptively update the probabilities of t...
Luís G. Rueda, B. John Oommen
TOOLS
1999
IEEE
15 years 1 months ago
Defining UML Family Members Using Prefaces
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...
Steve Cook, Anneke Kleppe, Jos Warmer, Richard Mit...
ACMSE
2009
ACM
15 years 3 months ago
Ginger: implementing a new Lisp family syntax
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
James Dean Palmer
TSP
2008
192views more  TSP 2008»
14 years 9 months ago
The Chase Family of Detection Algorithms for Multiple-Input Multiple-Output Channels
Abstract -- We introduce a new family of detectors for multipleinput multiple-output (MIMO) channels called Chase detectors because of their resemblance to the well-known Chase alg...
Deric W. Waters, John R. Barry
CADE
2008
Springer
14 years 11 months ago
Canonical Inference for Implicational Systems
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
Maria Paola Bonacina, Nachum Dershowitz