1806 search results - page 39 / 362 » Some Functions Computable with a Fused-Mac |
79
Voted
ICTAC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
126
Voted
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
WSC
2008
15 years 2 months ago
2008
Continuous-variable simulation optimization problems are those optimization problems where the objective function is computed through stochastic simulation and the decision variab...
135
Voted
AAMAS
2011
Springer
14 years 4 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
LFCS
1992
Springer
15 years 4 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...