5473 search results - page 1001 / 1095 » On the graph isomorphism problem |
118
Voted
IPMU
1992
Springer
15 years 4 months ago
1992
Springer
This paper deals with the problem of inference under uncertain information. This is a generalization of a paper of Cardona et al. (1991a) where rules were not allowed to contain n...
95
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
81
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper proposes a novel Ant Colony Optimisation algorithm for the hierarchical problem of predicting protein functions using the Gene Ontology (GO). The GO structure ...
BROADNETS
2004
IEEE
15 years 4 months ago
2004
IEEE
Failure resilience is one of the desired features of the Internet. Most of the traditional restoration architectures are based on single-failure assumption which is unrealistic. M...