4041 search results - page 34 / 809 » time 2009 |
128
click to vote
ATAL
2009
Springer
16 years 10 days ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
125
click to vote
COCOON
2009
Springer
16 years 10 days ago
2009
Springer
We show that a random walk on a tournament on n vertices finds either a sink or a 3-cycle in expected time O √ n · log n · log∗ n , that is, sublinear both in the size of th...
167
click to vote
FAW
2009
Springer
16 years 10 days ago
2009
Springer
We give a linear-time algorithm for computing the edge search number of cographs, thereby proving that this problem can be solved in polynomial time on this graph class. With our ...
151
click to vote
IWCF
2009
Springer
16 years 9 days ago
2009
Springer
The Electric Network Frequency (ENF) Criterion is a recently developed forensic technique for determining the time of recording of digital audio recordings, by matching the ENF pat...
150
click to vote
IWOCA
2009
Springer
16 years 9 days ago
2009
Springer
A minimax tree is similar to a Huffman tree except that, instead of minimizing the weighted average of the leaves’ depths, it minimizes the maximum of any leaf’s weight plus i...