2192 search results - page 240 / 439 » Embedded function composition |
EUROCRYPT
2000
Springer
14 years 2 months ago
2000
Springer
In a series of papers Patarin proposes new efficient public key systems. A very interesting proposal, called 2-Round Public Key System with S Boxes, or 2R, is based on the difficul...
MPC
1995
Springer
14 years 2 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
GRAPHICSINTERFACE
2007
14 years 7 days ago
2007
There are many algorithms in non-photorealistic rendering for representing an image as a composition of small objects. In this paper, we focus on the specific case where the obje...
BIOCOMP
2006
14 years 5 days ago
2006
Fusion genes have been reported as a means of enabling the development of novel or enhanced functions. In this report, we analyzed fusion genes in the genomes of two Helicobacter ...
LANMR
2004
14 years 5 days ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...