1302 search results - page 226 / 261 » Soundness in the Public-Key Model |
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
VAST
2004
ACM
15 years 5 months ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...
ANTSW
2004
Springer
15 years 5 months ago
2004
Springer
Designing an optimal overlay communication network for a set of processes on the Internet is a central problem of peer-to-peer (P2P) computing. Such a network defines membership a...
IJCNLP
2004
Springer
15 years 5 months ago
2004
Springer
One problem seriously affecting CLIR performance is the processing of queries with embedded foreign names. A proper noun dictionary is never complete rendering name translation fr...
IUI
2003
ACM
15 years 5 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...