8768 search results - page 326 / 1754 » Generalizing the notion of support |
168
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
142
click to vote
EUSFLAT
2003
15 years 9 months ago
2003
A general framework for studying the transitivity of reciprocal relations is presented. The key feature is the cyclic evaluation of transitivity: triangles (i.e. any three points)...
197
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
191
Voted
JAR
2006
15 years 7 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
165
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...