Sciweavers

1153 search results - page 122 / 231
» The Complexity of Revision, Revised
Sort
View
DOCENG
2007
ACM
15 years 10 months ago
A model for mapping between printed and digital document instances
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
Nadir Weibel, Moira C. Norrie, Beat Signer
GIR
2007
ACM
15 years 10 months ago
Building place ontologies for the semantic web: : issues and approaches
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...
Alia I. Abdelmoty, Philip D. Smart, Christopher B....
ACCV
2006
Springer
15 years 9 months ago
Multiple Similarities Based Kernel Subspace Learning for Image Classification
Abstract. In this paper, we propose a new method for image classification, in which matrix based kernel features are designed to capture the multiple similarities between images in...
Wang Yan, Qingshan Liu, Hanqing Lu, Songde Ma
CSFW
2004
IEEE
15 years 9 months ago
Formal Analysis of Multi-Party Contract Signing
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
Rohit Chadha, Steve Kremer, Andre Scedrov
CIT
2006
Springer
15 years 9 months ago
Design of Novel Reversible Carry Look-Ahead BCD Subtractor
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard. A major enhancement to the standard is the addition of decimal format, thus the design of BCD arithmetic...
Himanshu Thapliyal, Sumedha K. Gupta