2686 search results - page 173 / 538 » Testing metric properties |
219
Voted
IWAR
1992
15 years 6 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
148
click to vote
CGF
2010
15 years 5 months ago
2010
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
128
Voted
DCG
2006
15 years 5 months ago
2006
This paper sheds a new light on the split decomposition theory and T-theory from the viewpoint of convex analysis and polyhedral geometry. By regarding finite metrics as discrete ...
118
click to vote
JUCS
2002
15 years 5 months ago
2002
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
130
Voted
WIAS
2010
15 years 3 months ago
2010
Spatial agent models can be used to explore self-organising effects such as pattern growth and segregation. We employ our predator-prey model to study these emergent behaviours in...