140
click to vote
MLQ
2008
15 years 5 months ago
2008
We compare two Picard groups in dimension one. Our proofs are constructive and the results generalize a theorem of J. Sands [11]. MSC 2000: 13C15, 13C20, 03F65, 13F45
144
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
This paper examines the constructive Hausdorff and packing dimensions of weak truth-table degrees. The main result is that every infinite sequence S with constructive Hausdorff...
169
click to vote
HOA
1995
15 years 9 months ago
1995
We show that it is decidable whether a third-order matching problem in the polymorphic lambda calculus has a solution. The proof is constructive in the sense that an algorithm can...
152
Voted
AUSAI
2005
Springer
15 years 11 months ago
2005
Springer
: In order to scale to problems with large or continuous state-spaces, reinforcement learning algorithms need to be combined with function approximation techniques. The majority of...
187
click to vote
IJCNN
2007
IEEE
16 years 6 days ago
2007
IEEE
— This paper suggests a constructive fuzzy system modeling for time series prediction. The model proposed is based on Takagi-Sugeno system and it comprises two phases. First, a f...