5090 search results - page 710 / 1018 » Constructing Strategies for Programming |
147
click to vote
ICALP
2005
Springer
16 years 6 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...
234
click to vote
IDA
2005
Springer
16 years 5 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...
152
click to vote
SAS
2005
Springer
16 years 5 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...
128
click to vote
UM
2005
Springer
16 years 5 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...
159
click to vote
WAIM
2005
Springer
16 years 4 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...