9842 search results - page 184 / 1969 » Compositional timing analysis |
210
click to vote
IJCV
2010
15 years 29 days ago
2010
We propose a novel approach to understanding
activities from their partial observations monitored through
multiple non-overlapping cameras separated by unknown time
gaps. In our...
100
click to vote
JSW
2008
15 years 2 months ago
2008
Precise analysis of the Web structure can facilitate data pre-processing and enhance the accuracy of the mining results in the procedure of Web usage mining. STPN Stochastic Timed...
127
click to vote
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
138
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
164
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
Computing the degree of semantic relatedness of words is a key functionality of many language applications such as search, clustering, and disambiguation. Previous approaches to c...