3047 search results - page 107 / 610 » A Temporal Consensus Model |
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
NAR
2008
14 years 10 months ago
2008
Protein kinases control cellular responses by phosphorylating specific substrates. Recent proteomewide mapping of protein phosphorylation sites by mass spectrometry has discovered...
102
click to vote
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
GROUP
2005
ACM
15 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
14 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...