4107 search results - page 262 / 822 » The Generalized Lambda Test |
188
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Many physical and artificial phenomena can be described by time series. The prediction of such phenomenon could be as complex as interesting. There are many time series forecasti...
163
click to vote
CPM
2007
Springer
16 years 25 days ago
2007
Springer
In the k-matches problem, we are given a pattern and a text, and for each text location, the desired output consists of all aligned matching characters if there are k or fewer of ...
171
click to vote
NCA
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
162
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
174
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...