4924 search results - page 341 / 985 » Efficiency Improvement for NTRU |
190
Voted
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
162
click to vote
WSC
2007
15 years 9 months ago
2007
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
140
click to vote
ICVGIP
2008
15 years 8 months ago
2008
Color harmonization is an artistic technique to adjust the colors of a given image in order to enhance their visual harmony. In this paper, we present a method to automatically im...
198
click to vote
BILDMED
2004
15 years 8 months ago
2004
In this paper we present a level-set framework for accurate and efficient extraction of the surface of a brain from MRI data. To prevent the so-called partial volume effect we use ...
192
Voted
VIP
2001
15 years 8 months ago
2001
An efficient hierarchical approach for image multi-level thresholding is proposed based on the maximum entropy principle and Bayes' formula, in which no assumptions of the im...