4895 search results - page 456 / 979 » Functional Quantum Programming |
235
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
159
click to vote
EOR
2006
15 years 7 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
167
click to vote
ICGA
2007
15 years 7 months ago
2007
The phenomenon of diminishing returns for additional search effort has been observed by several researchers. We study experimentally additional factors which influence the behavio...
172
click to vote
CGF
2005
15 years 7 months ago
2005
As simulation and rendering capabilities continue to increase, volumetric effects like smoke, fire or explosions will be frequently encountered in computer games and virtual envir...
149
click to vote
EOR
2002
15 years 6 months ago
2002
Let F be a subset of the n-dimensional Euclidean space Rn represented in terms of a compact convex subset C0 and a set PF of nitely or in nitely many quadratic functions on Rn such...