8768 search results - page 341 / 1754 » Generalizing the notion of support |
195
click to vote
SYNTHESE
2008
15 years 7 months ago
2008
A Zenonian supertask involving an infinite number of identical colliding balls is generalized to include balls with different masses. Under the restriction that the total mass of a...
199
click to vote
APAL
2005
15 years 7 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
138
click to vote
IJAC
2000
15 years 7 months ago
2000
We study the Dehn functions of amalgamations, introducing the notion of strongly undistorted subgroups. Using this, we give conditions under which taking an amalgamation does not i...
196
click to vote
ENTCS
2002
15 years 7 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
203
click to vote
ENTCS
2002
15 years 7 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...