831 search results - page 53 / 167 » Coalgebraic Correspondence Theory |
AUTOMATICA
2007
14 years 12 months ago
2007
— A pair of spins is the most simple quantum system that can possess entanglement, a non-classical property playing an essential role in quantum information technologies. In this...
DCG
2006
14 years 12 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 ...
123
click to vote
ENTCS
2006
14 years 12 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
173
click to vote
PAMI
2006
14 years 11 months ago
2006
Abstract-- A novel method is proposed for performing multilabel, interactive image segmentation. Given a small number of pixels with user-defined (or pre-defined) labels, one can a...
IJMTM
2007
14 years 11 months ago
2007
: This paper presents a systematic approach based on the axiomatic design theory to assess the inherent flexibility of the product family to generate the product variants for custo...