3229 search results - page 228 / 646 » Theories with the Independence Property |
177
click to vote
JUCS
2006
15 years 6 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
189
click to vote
FSS
2007
15 years 6 months ago
2007
Formal concept analysis and rough set theory are two important tools in knowledge representation and knowledge discovery in relational information systems. The purpose of this pap...
163
click to vote
MST
2006
15 years 6 months ago
2006
In the late eighties, it was shown that juggling patterns can be described by strings of numbers with fascinating combinatorial properties that have since then been studied by man...
161
click to vote
ENTCS
2002
15 years 6 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
177
click to vote
TIP
1998
15 years 6 months ago
1998
—A new method for fractal image compression is proposed using genetic algorithm (GA) with elitist model. The self transformability property of images is assumed and exploited in ...