Sciweavers

753 search results - page 102 / 151
» Stability in geometric theories
Sort
View
IVC
2008
71views more  IVC 2008»
15 years 6 months ago
Topological triangle characterization with application to object detection from images
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
Luis Gustavo Nonato, Mario A. S. Lizier, J. Batist...
JCC
2008
85views more  JCC 2008»
15 years 6 months ago
Minimal molecular surfaces and their applications
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
P. W. Bates, G. W. Wei, Shan Zhao
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
EOR
2007
113views more  EOR 2007»
15 years 6 months ago
Duality for location problems with unbounded unit balls
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...
Gert Wanka, Radu Ioan Bot, Emese Vargyas
CORR
2004
Springer
94views Education» more  CORR 2004»
15 years 6 months ago
Track Layouts of Graphs
A (k, t)-track layout of a graph G consists of a (proper) vertex t-colouring of G, a total order of each vertex colour class, and a (non-proper) edge k-colouring such that between...
Vida Dujmovic, Attila Pór, David R. Wood