4940 search results - page 722 / 988 » On the Complexity of Universal Programs |
147
click to vote
AIED
2007
Springer
16 years 23 days ago
2007
Springer
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
180
click to vote
CC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
146
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
151
click to vote
EUROPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...
203
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...