3670 search results - page 256 / 734 » Linear Recursive Functions |
161
click to vote
ICTAI
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we present a prediction process of the Stock Exchange of Thailand index using adaptive evolution strategies. The prediction process does not require the knowledge of...
156
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
172
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
156
click to vote
DBPL
2005
Springer
15 years 8 months ago
2005
Springer
XQuery is known to be a powerful XML query language with many bells and whistles. For many common queries we do not need all the expressive power of XQuery. We investigate the eff...
189
click to vote
ASC
2000
15 years 7 months ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...