Sciweavers

2016 search results - page 102 / 404
» Megamaps: Construction and Examples
Sort
View
CTRSA
2009
Springer
112views Cryptology» more  CTRSA 2009»
15 years 10 months ago
Divisible On-Line/Off-Line Signatures
On-line/Off-line signatures are used in a particular scenario where the signer must respond quickly once the message to be signed is presented. The idea is to split the signing pro...
Chong-zhi Gao, Baodian Wei, Dongqing Xie, Chunming...
EWCBR
2006
Springer
15 years 10 months ago
Case-Based Reasoning for Knowledge-Intensive Template Selection During Text Generation
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
Raquel Hervás, Pablo Gervás
FASE
2000
Springer
15 years 10 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
PODC
1995
ACM
15 years 10 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
NIPS
2008
15 years 7 months ago
Multi-Level Active Prediction of Useful Image Annotations for Recognition
We introduce a framework for actively learning visual categories from a mixture of weakly and strongly labeled image examples. We propose to allow the categorylearner to strategic...
Sudheendra Vijayanarasimhan, Kristen Grauman