16430 search results - page 662 / 3286 » On Computable Tree Functions |
199
click to vote
JUCS
2007
15 years 7 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
166
click to vote
IJON
2002
15 years 7 months ago
2002
Since the functional magnetic resonance imaging (fMRI) signal is likely to re ect a spatial average of the activity of neurons with partly dissimilar response properties, its inte...
188
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
Solving in an efficient manner many different optimal control tasks within the same underlying environment requires decomposing the environment into its computationally elemental ...
215
click to vote
BIBE
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose an algorithm that predicts potentially missing Gene Ontology annotations, in order to speed up the time-consuming annotation curation process. The proposed method extend...
126
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...