1312 search results - page 17 / 263 » Quantitative Comparison of Languages |
101
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
117
click to vote
CAP
2010
14 years 10 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
147
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...