1864 search results - page 94 / 373 » Formal topology and domains |
187
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...
149
click to vote
MIE
2008
15 years 7 months ago
2008
The application of upper ontologies has been repeatedly advocated for supporting interoperability between domain ontologies in order to facilitate shared data use both within and a...
172
click to vote
AIPS
2006
15 years 7 months ago
2006
Strong Cyclic Planning aims at generating iterative plans that only allow loops so far as there is a chance to reach the goal. The problem is already significantly complex for ful...
169
click to vote
AAAI
1994
15 years 7 months ago
1994
Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior of physical systems and in modern engineering design. However, in ord...
176
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: There has been tremendous interest in the study of biological network structure. An array of measurements has been conceived to assess the topological properties of th...