3724 search results - page 346 / 745 » Timed regular expressions |
191
click to vote
DCOSS
2010
Springer
15 years 7 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
144
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We analyze and extend a recently proposed model of linguistic diffusion in social networks, to analytically derive time to convergence, and to account for the innovation phase of...
135
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...
170
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
163
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...