Sciweavers

5247 search results - page 683 / 1050
» Frequency Optimized Computation Methods
Sort
View
TACS
1997
Springer
15 years 10 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
EVOW
2010
Springer
15 years 10 months ago
Local Search Algorithms on Graphics Processing Units. A Case Study: The Permutation Perceptron Problem
Optimization problems are more and more complex and their resource requirements are ever increasing. Although metaheuristics allow to significantly reduce the computational complex...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
AAAI
2008
15 years 9 months ago
Grounding with Bounds
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
Johan Wittocx, Maarten Mariën, Marc Denecker
IJCAI
2007
15 years 8 months ago
Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies
Learning capabilities of computer systems still lag far behind biological systems. One of the reasons can be seen in the inefficient re-use of control knowledge acquired over the...
Mehran Asadi, Manfred Huber
NIPS
2007
15 years 8 months ago
On Sparsity and Overcompleteness in Image Models
Computational models of visual cortex, and in particular those based on sparse coding, have enjoyed much recent attention. Despite this currency, the question of how sparse or how...
Pietro Berkes, Richard Turner, Maneesh Sahani