80 search results - page 1 / 16 » A Relationship between Equilogical Spaces and Type Two Effec... |
MLQ
2002
13 years 4 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
ENTCS
2008
13 years 5 months ago
2008
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
ICML
2006
IEEE
14 years 6 months ago
2006
IEEE
Receiver Operator Characteristic (ROC) curves are commonly used to present results for binary decision problems in machine learning. However, when dealing with highly skewed datas...
BMCBI
2007
13 years 5 months ago
2007
Background: Safety assessment of genetically modified (GM) food, with regard to allergenic potential of transgene-encoded xenoproteins, typically involves several different method...
CG
2005
Springer
13 years 5 months ago
2005
Springer
Two experiments were carried out to explore the effect of rendering and interface fidelity on subjective impressions of illumination and perceived presence after exposure to a vir...