10 search results - page 1 / 2 » Coalgebraic Description of Generalized Binary Methods |
ENTCS
2006
13 years 4 months ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
ENTCS
2002
13 years 4 months ago
2002
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem...
ISIPTA
1999
IEEE
13 years 8 months ago
1999
IEEE
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...
EACL
2003
ACL Anthology
13 years 5 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
ICIP
1995
IEEE
14 years 6 months ago
1995
IEEE
Traditionally, Markov models have not been successfully used for compression of signal data other than binary image data. Due to the fact that exact substring matches in non-binar...