9842 search results - page 743 / 1969 » Compositional timing analysis |
219
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
207
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
184
click to vote
ALT
2009
Springer
15 years 10 months ago
2009
Springer
Domain adaptation is a fundamental learning problem where one wishes to use labeled data from one or several source domains to learn a hypothesis performing well on a different, y...
186
click to vote
CMSB
2008
Springer
15 years 9 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
189
click to vote
EUROCRYPT
2008
Springer
15 years 9 months ago
2008
Springer
We study obfuscation of point functions with multibit output and other related functions. A point function with multibit output returns a string on a single input point and zero ev...