1297 search results - page 200 / 260 » Semantic Correctness in Adaptive Process Management Systems |
105
click to vote
ECAI
1990
Springer
15 years 3 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
CICLING
2008
Springer
15 years 1 months ago
2008
Springer
This paper proposes a non-interactive system for reducing the level of OCR-induced typographical variation in large text collections, contemporary and historical. Text-Induced Corp...
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Growing abundance of information on the Internet, especially the Next Generation Internet, poses even more challenges on more efficient information management; hence it h...
108
click to vote
ASIACRYPT
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...