5325 search results - page 180 / 1065 » Effective Computation for Nonlinear Systems |
195
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract: Numerical solutions to fractional differential equations can be extremely computationally intensive due to the effect of non-local derivatives in which all previous time ...
169
click to vote
SIAMJO
2010
15 years 4 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
170
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
159
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...