1818 search results - page 174 / 364 » Granularity-Adaptive Proof Presentation |
141
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The theory revision problem is the problem of how best to go about revising a deficient domain theory using information contained in examples that expose inaccuracies. In this pa...
136
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this contribution we provide a thorough stability analysis of gradient type algorithms with non-symmetric matrix step-sizes. We hereby extend existing analyses for symmetric ...
121
Voted
CPP
2011
14 years 3 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
131
Voted
IACR
2011
14 years 3 months ago
2011
The contribution of this paper is twofold. First we present a new simple electronic voting scheme having standard re-encryption mix net back-end, which allows to cast a ballot and ...
132
click to vote
MMM
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...