MLQ
2008
13 years 11 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
CIE
2007
Springer
14 years 29 days 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...
HOA
1995
14 years 2 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...
AUSAI
2005
Springer
14 years 4 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...
IJCNN
2007
IEEE
14 years 5 months 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...