1864 search results - page 108 / 373 » Formal topology and domains |
244
click to vote
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
The Reeb graph of a scalar function represents the evolution of the topology of its level sets. In this video, we describe a near-optimal output-sensitive algorithm for computing ...
136
click to vote
CCE
2007
15 years 6 months ago
2007
Ontologies reflect our view of what exists and developing ontologies for a given domain requires a common context. This context can be characterized explicitly by means of an uppe...
171
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
160
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In many domains, a Bayesian network's topological structure is not known a priori and must be inferred from data. This requires a scoring function to measure how well a propo...
137
click to vote
ACS
2007
15 years 6 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...