2645 search results - page 172 / 529 » time 2003 |
165
Voted
BIRTHDAY
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
159
click to vote
CAISE
2003
Springer
16 years 7 days ago
2003
Springer
This paper addresses the design and implementation of an adaptive document version management scheme. Existing schemes typically assume: (i) a priori expectations for how versions ...
158
click to vote
CAISE
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. Flexibility to react on rapidly changing general conditions of the environment has become a key factor for economic success of any company. The competitiveness of an ente...
198
click to vote
CAV
2003
Springer
16 years 7 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
140
click to vote
CIKM
2003
Springer
16 years 7 days ago
2003
Springer
We explore the relationship between time and relevance using TREC ad-hoc queries. A type of query is identified that favors very recent documents. We propose a time-based language...