Sciweavers

2414 search results - page 160 / 483
» Computing Normal Subgroups
Sort
View
ICPR
2004
IEEE
14 years 10 months ago
Grey Scale Image Skeletonisation from Noise-Damped Vector Potential
This paper describes a method for curvature dependant Skeletonisation in grey-scale images. We commence from a magnetostatic analogy, where the tangential edge flow (the cross pro...
Edwin R. Hancock, Huaijun Qiu
MHCI
2009
Springer
14 years 3 months ago
Contextual push-to-talk: a new technique for reducing voice dialog duration
We present a technique in which physical controls have both normal and voice-enabled activation styles. In the case of the latter, knowledge of which physical control was activate...
Garrett Weinberg
FUZZIEEE
2007
IEEE
14 years 3 months ago
On Using Fuzzy Contact Maps for Protein Structure Comparison
The comparison of protein structures is an important problem in Bioinformatics, and Soft Computing techniques were recently introduced for achieving a better representation and po...
Juan Ramón González, David A. Pelta
ICNSC
2007
IEEE
14 years 3 months ago
Combined Support Vector Novelty Detection for Multi-channel Combustion Data
— Multi-channel combustion data, consisting of gas pressure and two combustion chamber luminosity measurements, are investigated in the prediction of combustion instability. Wave...
Lei A. Clifton, Hujun Yin, David A. Clifton, Yang ...
RTA
2007
Springer
14 years 3 months ago
A Simple Proof That Super-Consistency Implies Cut Elimination
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
Gilles Dowek, Olivier Hermant