169 search results - page 23 / 34 » Temporal Reasoning in Nested Temporal Networks with Alternat... |
ENTCS
2007
13 years 7 months ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
—In this demonstration paper, we present a powerful distributed framework for finding similar trajectories in a smartphone network, without disclosing the traces of participatin...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
As more people take part in online conversations, awareness of the varying conversational styles and social mores afforded by different software is growing. However, this awarenes...