Sciweavers

1032 search results - page 61 / 207
» A Category of Explicit Fusions
Sort
View
HASKELL
2009
ACM
14 years 2 months ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones
ER
2007
Springer
70views Database» more  ER 2007»
14 years 1 months ago
As We May Link: A General Metamodel for Hypermedia Systems
Many hypermedia models have been proposed, including those specifically developed to model navigational aspects of web sites. But few hypermedia systems have been implemented base...
Beat Signer, Moira C. Norrie
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
14 years 1 months ago
Reducing the space-time complexity of the CMA-ES
A limited memory version of the covariance matrix adaptation evolution strategy (CMA-ES) is presented. This algorithm, L-CMA-ES, improves the space and time complexity of the CMA-...
James N. Knight, Monte Lunacek
ISSAC
2007
Springer
91views Mathematics» more  ISSAC 2007»
14 years 1 months ago
Generation and optimisation of code using coxeter lattice paths
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Wa...
GIR
2006
ACM
14 years 1 months ago
Handling Locations in Search Engine Queries
This paper proposes simple techniques for handling place references in search engine queries, an important aspect of geographical information retrieval. We address not only the de...
Bruno Martins, Mário J. Silva, Sérgi...