1699 search results - page 107 / 340 » On the Expressive Power of QLTL |
SIBGRAPI
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
130
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
139
Voted
DAWAK
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
79
Voted
ECAI
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
123
Voted
ICTL
1994
15 years 5 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...