9521 search results - page 148 / 1905 » Compiling with continuations, continued |
115
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
114
click to vote
FMSB
2008
15 years 4 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
117
click to vote
FLAIRS
2004
15 years 4 months ago
2004
The probabilistic concept formation general problem in dealing with mixed-data scale environments is due to the use of different evaluation function for each attribute type. We cl...
117
click to vote
FLAIRS
2006
15 years 4 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
150
click to vote
IJIT
2004
15 years 4 months ago
2004
A genetic algorithm (GA) based feature subset selection algorithm is proposed in which the correlation structure of the features is exploited. The subset of features is validated a...