1864 search results - page 17 / 373 » Formal topology and domains |
MFCS
1993
Springer
14 years 1 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
ICCCN
2008
IEEE
14 years 4 months ago
2008
IEEE
: Recent studies on inter-domain DWDM networks used on topology abstraction for state summarization, i.e., transforming a physical topology to a virtual mesh, tree, or star network...
CVPR
2012
IEEE
12 years 8 days ago
2012
IEEE
Modeling representations of image patches that are quasi-invariant to spatial deformations is an important problem in computer vision. In this paper, we propose a novel concept, t...
UML
2004
Springer
14 years 3 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
UAI
1996
13 years 11 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...