846 search results - page 81 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
129
Voted
HASE
1997
IEEE
15 years 5 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
106
Voted
JETAI
2007
15 years 19 days ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
128
Voted
GEOINFORMATICA
1998
15 years 12 days ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
108
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
99
Voted
FSKD
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. It is difficult to understand a scene from visual information in uncertain real world. Since Bayesian network (BN) is known as good in this uncertainty, it has received s...