3028 search results - page 85 / 606 » Integrating Temporal Logics |
BC
1998
13 years 9 months ago
1998
Abstract. A stochastic spike train analysis technique is introduced to reveal the correlation between the firing of the next spike and the temporal integration period of two conse...
CVPR
2001
IEEE
15 years 1 days ago
2001
IEEE
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...
VLDB
1993
ACM
14 years 2 months ago
1993
ACM
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
GROUP
2005
ACM
14 years 3 months ago
2005
ACM
A common problem in chat is that the chat display only reveals the temporal order of the conversation. A better user interface is desired that reveals the logical order of the mes...
AAAI
1996
13 years 11 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...