Sciweavers

41 search results - page 3 / 9
» An axiomatization of family resemblance
Sort
View
ADVIS
2004
Springer
13 years 11 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
13 years 12 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
14 years 2 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»
13 years 7 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
13 years 9 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