1699 search results - page 223 / 340 » A Rule Format for Associativity |
154
Voted
ENTCS
2002
15 years 4 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
152
click to vote
WAIM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
148
click to vote
WRLA
2010
15 years 2 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
140
click to vote
AIRS
2010
Springer
15 years 2 months ago
2010
Springer
Retrieval in historic documents with non-standard spelling requires a mapping from search terms onto the historic terms in the document. For describing this mapping, we have develo...
141
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
A key element for video indexing and summarisation is the description of isolated events and actions. In the context of many sports the motion of the ball plays an essential role ...