2142 search results - page 80 / 429 » Improved Conditional E-Payments |
JGO
2010
13 years 8 months ago
2010
In this paper, the global optimization problem with an objective function that is multiextremal that satisfies the Lipschitz condition over a hypercube is considered. An algorithm...
MOC
2000
13 years 10 months ago
2000
Recently, based upon the Chen-Harker-Kanzow-Smale smoothing function and the trajectory and the neighbourhood techniques, Hotta and Yoshise proposed a noninterior point algorithm f...
TSE
2002
13 years 9 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...
ACL
2001
13 years 11 months ago
2001
We present two language models based upon an "immediate-head" parser -our name for a parser that conditions all events below a constituent c upon the head of c. While al...
ICCAD
2002
IEEE
14 years 7 months ago
2002
IEEE
Fourier-envelope algorithms are an important component of the mixed-signal/RF verification toolbox. In this paper, we address the unpredictability and lack of robustness that has...