8728 search results - page 1460 / 1746 » On Reduct Construction Algorithms |
179
click to vote
RTA
2005
Springer
16 years 3 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
186
click to vote
ECCV
2004
Springer
16 years 1 days ago
2004
Springer
Alignment between the input and target objects has great impact on the performance of image analysis and recognition system, such as those for medical image and face recognition. A...
175
click to vote
IWQOS
2004
Springer
16 years 4 hour ago
2004
Springer
In this paper, we consider how to “construct” and “maintain” an overlay structured P2P network based on the “smallworld paradigm”. Two main attractive properties of a ...
167
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
167
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We present a solution to the general problem of characterizing shadows in scenes involving a uniform polygonal area emitter and a polygonal occluder in arbitrary position by manif...