14642 search results - page 2396 / 2929 » It's Time for a Change |
198
click to vote
SPIRE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Weighting models use lexical statistics, such as term frequencies, to derive term weights, which are used to estimate the relevance of a document to a query. Apart from t...
228
click to vote
SSD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Mobile devices are increasingly being equipped with wireless peerto-peer (P2P) networking interfaces, rendering the sharing of data among mobile devices feasible and bene...
190
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
177
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
181
click to vote
VSMM
2007
Springer
16 years 1 months ago
2007
Springer
Nowadays, more Virtual Environments (VEs) are becoming available on the Web. This means that VEs are becoming accessible to a larger and more diverse audience. It also means that i...