9595 search results - page 347 / 1919 » Functional programming in C |
191
click to vote
OL
2007
15 years 6 months ago
2007
We propose an SQP-type algorithm for solving nonlinear second-order cone programming (NSOCP) problems. At every iteration, the algorithm solves a convex SOCP subproblem in which th...
168
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
180
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We study the following two functions: d(n, c) and d(n, c); d(n, c) (d(n, c)) is the minimum number k such that every c-edge-colored undirected (directed) graph of order n and mini...
147
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
142
click to vote
CIBCB
2005
IEEE
16 years 9 days ago
2005
IEEE
Functional RNAs (fRNAs) play a key role in gene regulation, at both the transcriptional and translational levels. Identification of fRNA genes can be difficult, given that some cla...