859 search results - page 102 / 172 » Abduction in Temporal Reasoning |
75
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
109
click to vote
DLOG
2008
15 years 3 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
207
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
With the recent advancements and wide usage of location detection devices, large quantities of data are collected by GPS and cellular technologies in the form of trajectories. Whi...
IPCCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Tree-based reliable multicast protocols provide scalability by distributing error-recovery tasks among several repair nodes. These repair nodes keep in their buffers all packets t...
95
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...