Sciweavers

4131 search results - page 235 / 827
» Compactness in Topology and Computation
Sort
View
ARITH
2005
IEEE
16 years 5 days ago
A Hardware Algorithm for Integer Division
Abstract— A hardware algorithm for integer division is proposed. It is based on the digit-recurrence, non-restoring division algorithm. Fast computation is achieved by the use of...
Naofumi Takagi, Shunsuke Kadowaki, Kazuyoshi Takag...
ICVGIP
2004
15 years 8 months ago
Content Based Image Retrieval with Multiresolution Salient Points
This paper presents a robust technique for Content Based Image Retrieval (CBIR) using salient points of an image. The salient points are extracted from different levels of the uns...
Minakshi Banerjee, Malay K. Kundu
ECCV
2010
Springer
15 years 6 months ago
Geodesic Shape Retrieval via Optimal Mass Transport
This paper presents a new method for 2-D and 3-D shape retrieval based on geodesic signatures. These signatures are high dimensional statistical distributions computed by extractin...
Julien Rabin, Gabriel Peyré, Laurent D. Coh...
ICCS
2007
Springer
16 years 22 days ago
Reliability of Wireless Sensor Network with Sleeping Nodes
Abstract. Energy efficiency is an important technology of sensor networks development. In this paper we offer a method of sensors lifetime maximizing under required level of netwo...
Vladimir V. Shakhov, Hyunseung Choo
LICS
2006
IEEE
16 years 17 days ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer