7055 search results - page 42 / 1411 » Some New 4-Designs |
CRYPTO
1998
Springer
15 years 4 months ago
1998
Springer
Verifiable Signature Sharing (VS ) enables the recipient of a digital signature, who is not necessarily the original signer, to share such signature among n proxies so that a subse...
105
click to vote
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The opening of a virtual annexe by science centers has given rise to a new genre of learning in web-based education. Seeking to enhance the outreach effectiveness of non-formal sc...
IJCAI
1993
15 years 1 months ago
1993
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
100
click to vote
DISOPT
2008
14 years 12 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...