2607 search results - page 405 / 522 » Complete Functional Synthesis |
131
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
In Genetic algorithms it is not easy to evaluate the confidence level in whether a GA run may have missed a complete area of good points, and whether the global optimum was found....
111
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
129
click to vote
ICAPR
2005
Springer
15 years 8 months ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...
131
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
105
click to vote
IPSN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...