Sciweavers

1061 search results - page 98 / 213
» Dependently Sorted Logic
Sort
View
CCS
2000
ACM
14 years 1 months ago
Accountable certificate management using undeniable attestations
This paper initiates a study of accountable certificate management methods, necessary to support long-term authenticity of digital documents. Our main contribution is a model for ...
Ahto Buldas, Peeter Laud, Helger Lipmaa
EPIA
1995
Springer
14 years 1 months ago
The Retrieval Problem in a Concept Language with Number Restrictions
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
Aida Vitória, Margarida Mamede, Luís...
CISST
2004
144views Hardware» more  CISST 2004»
13 years 11 months ago
Interactive Flag Identification Using Image Retrieval Techniques
We propose an interactive system for identifying flags in photos taken from natural scenes. The system is interactive in two respects. First, because segmentation can be a difficu...
Eduardo Hart, Sung-Hyuk Cha, Charles C. Tappert
EUROIMSA
2006
141views Multimedia» more  EUROIMSA 2006»
13 years 11 months ago
Effective Organization and Visualization of Web Search Results
While searching the web, the user is often confronted by a great number of results, generally displayed in a list which is sorted according to the relevance of the results. Facing...
Nicolas Bonnel, Vincent Lemaire, Alexandre Cotarma...
CISST
2003
83views Hardware» more  CISST 2003»
13 years 11 months ago
Computational Efficiency of Structural Image Matching
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
Richard Chase, Boris Kovalerchuk