14642 search results - page 321 / 2929 » It's Time for a Change |
122
click to vote
ACL
2009
15 years 4 months ago
2009
Many events in news articles don't include time arguments. This paper describes two methods, one based on rules and the other based on statistical learning, to predict the un...
127
click to vote
IPL
2006
15 years 6 months ago
2006
A graph G is the k-leaf power of a tree T if its vertices are leaves of T such that two vertices are adjacent in G if and only if their distance in T is at most k. Then T is the k...
168
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
211
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
166
click to vote
DM
2007
15 years 6 months ago
2007
We present an algorithm that determines the prime factors of connected graphs with respect to the Cartesian product in linear time and space. This improves a result of Aurenhammee...