3996 search results - page 210 / 800 » A Publish |
155
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider the problem of adding the partial products in the combinational decimal multiplier presented by Lang and Nannarelli. In the original paper this addition is done wit...
133
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Publishing information on the Semantic Web using common formats enables data to be linked together, integrated and reused. In order to fully leverage the potential for interlinkin...
167
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
190
click to vote
NTMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
151
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
In this demonstration paper we present MAPS, a novel system that combines approximate information retrieval and filtering functionality in a peer-to-peer setting. In MAPS, a user...