1781 search results - page 129 / 357 » Functional Answer Set Programming |
124
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
DAC
2002
ACM
16 years 2 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
111
click to vote
JMLR
2006
15 years 1 months ago
2006
We propose a novel second order cone programming formulation for designing robust classifiers which can handle uncertainty in observations. Similar formulations are also derived f...
112
click to vote
FOCS
1992
IEEE
15 years 5 months ago
1992
IEEE
Consider a convex set P in IRd and a piecewise polynomial concave function F: P IR. Let A be an algorithm that given a point x IRd computes F(x) if x P, or returns a concave po...
166
click to vote
ICPP
2009
IEEE
15 years 8 months ago
2009
IEEE
We are currently faced with the situation where applications have increasing computational demands and there is a wide selection of parallel processor systems. In this paper we fo...