2335 search results - page 286 / 467 » Functional Differentiation of Computer Programs |
145
click to vote
HIPEAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...
138
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
114
Voted
ICALT
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
130
click to vote
IOR
2006
15 years 2 months ago
2006
The stochastic differential equations for affine jump diffusion models do not yield exact solutions that can be directly simulated. Discretization methods can be used for simulati...
160
click to vote
IJCV
1998
15 years 2 months ago
1998
This paper presents a method that uses the level sets of volumes to reconstruct the shapes of 3D objects from range data. The strategy is to formulate 3D reconstruction as a stati...