Sciweavers

440 search results - page 1 / 88
» Arguments for the continuity principle
Sort
View
BSL
2002
86views more  BSL 2002»
13 years 7 months ago
Arguments for the continuity principle
Mark van Atten, Dirk van Dalen
JNS
2010
55views more  JNS 2010»
13 years 2 months ago
Initiation of Cracks in Griffith's Theory: An Argument of Continuity in Favor of Global Minimization
The initiation of a crack in a sound body is a real issue in the setting of Griffith's theory of brittle fracture. If one uses the concept of critical energy release rate (Gri...
Jean-Jacques Marigo
COMMA
2006
13 years 8 months ago
Evaluation and comparison criteria for extension-based argumentation semantics
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...
Pietro Baroni, Massimiliano Giacomin
LICS
2006
IEEE
14 years 1 months ago
Coinductive Proof Principles for Stochastic Processes
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
Dexter Kozen