2564 search results - page 262 / 513 » Witness sets of projections |
142
click to vote
WCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Matsumoto-Imai (MI) cryptosystem was the ļ¬rst multivariate public key cryptosystem proposed for practical use. Though MI is now considered insecure due to Patarinā...
156
click to vote
ZUM
2005
Springer
15 years 11 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
161
click to vote
ADS
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports the results of a preliminary cross-evaluation experiment run in the framework of the European research project PF-Star1, with the double aim of evaluating the po...
156
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
168
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...