5090 search results - page 710 / 1018 » Constructing Strategies for Programming |
161
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
266
click to vote
IDA
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
164
Voted
SAS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
150
click to vote
UM
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
182
click to vote
WAIM
2005
Springer
16 years 27 days ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...