1701 search results - page 166 / 341 » Computer Science and State Machines |
142
Voted
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
113
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
This paper reports results from a study in which we automatically classified the query reformulation patterns for 964,780 Web searching sessions (composed of 1,523,072 queries) in...
93
Voted
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
115
Voted
ICAI
2007
15 years 4 months ago
2007
Abstract— The paper proposes a dynamic programming algorithm for training of functional networks. The algorithm considers each node as a state. The problem is formulated as find...
123
Voted
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
Almost all tree kernels proposed in the literature match substructures without taking into account their relative positioning with respect to one another. In this paper, we propos...