149 search results - page 3 / 30 » A realizability interpretation for classical analysis |
WSCG
2003
13 years 9 months ago
2003
This paper describes an autonomous vision system for realization of tasks consist of following a person with a mobile robot as well as interpreting some static and dynamic command...
MSCS
2006
13 years 7 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
IJCSA
2007
13 years 7 months ago
2007
This paper discusses different approaches for integrating biological knowledge in gene expression analysis. Indeed we are interested in the fifth step of microarray analysis pro...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...