Sciweavers

893 search results - page 135 / 179
» Descent Theory for Schemes
Sort
View
ICPR
2010
IEEE
15 years 3 months ago
Monogenic Binary Pattern (MBP): A Novel Feature Extraction and Representation Model for Face Recognition
A novel feature extraction method, namely monogenic binary pattern (MBP), is proposed in this paper based on the theory of monogenic signal analysis, and the histogram of MBP (HMB...
Meng Yang, Lei Zhang, Lin Zhang, David Zhang
CSFW
2010
IEEE
15 years 3 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...
PODC
2010
ACM
15 years 3 months ago
Brief announcement: towards robust medium access in multi-hop networks
This paper introduces the distributed MAC protocol Jade. We consider a multi-hop wireless network with a single communication channel in which a powerful adversary is able to jam ...
Andréa W. Richa, Jin Zhang, Christian Schei...
FOCS
2004
IEEE
15 years 3 months ago
An Approximate Max-Steiner-Tree-Packing Min-Steiner-Cut Theorem
Given an undirected multigraph G and a subset of vertices S V (G), the STEINER TREE PACKING problem is to find a largest collection of edge-disjoint trees that each connects S. T...
Lap Chi Lau
ICRA
1995
IEEE
151views Robotics» more  ICRA 1995»
15 years 3 months ago
Learning Impedance Control for Robotic Manipulators
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
Chien-Chern Cheah, Danwei Wang