1283 search results - page 90 / 257 » A Survey on Temporal Logics |
180
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
238
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Gesture recognition is mainly apprehensive on analyzing the functionality of human wits. The main goal of gesture recognition is to create a system which can recognize specific hu...
166
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
149
click to vote
IJCAI
2001
15 years 7 months ago
2001
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
170
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...