10493 search results - page 138 / 2099 » Dynamic Word Problems |
IPL
2010
13 years 6 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
COLING
2010
13 years 3 months ago
2010
Search with synonyms is a challenging problem for Web search, as it can easily cause intent drifting. In this paper, we propose a practical solution to this issue, based on co-cli...
FLAIRS
2003
13 years 9 months ago
2003
This paper presents an adaptive algorithm for learning the user profile. The user profile is learned incrementally and continuously based on user’s initial profile, his actions ...
OSS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...
IPL
2006
13 years 8 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...