394 search results - page 31 / 79 » An Abstract Domain of Uninterpreted Functions |
103
Voted
TEC
1998
15 years 3 days ago
1998
Abstract—Interest in multimodal optimization function is expanding rapidly since real-world optimization problems often require the location of multiple optima in the search spac...
122
Voted
TCC
2012
Springer
13 years 8 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...
LREC
2008
15 years 1 months ago
2008
Information extraction from large data repositories is critical to Information Management solutions. In addition to prerequisite corpus analysis, to determine domain-specific char...
98
Voted
SIAMCOMP
2010
14 years 11 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...
122
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...