2645 search results - page 172 / 529 » time 2003 |
151
click to vote
BIRTHDAY
2003
Springer
15 years 11 months 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...
139
click to vote
CAISE
2003
Springer
15 years 11 months 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 ...
150
click to vote
CAISE
2003
Springer
15 years 11 months 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...
176
click to vote
CAV
2003
Springer
15 years 11 months 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...
132
click to vote
CIKM
2003
Springer
15 years 11 months 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...