Sciweavers

3323 search results - page 334 / 665
» Computational Semantics with Functional Programming
Sort
View
CHARME
2001
Springer
98views Hardware» more  CHARME 2001»
15 years 11 months ago
Hardware Synthesis Using SAFL and Application to Processor Design
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
Alan Mycroft, Richard Sharp
162
Voted
MICAI
2005
Springer
16 years 6 days ago
Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning for Backgammon Game
Abstract. In this paper we investigate the effectiveness of applying fuzzy controllers to create strong computer player programs in the domain of backgammon. Fuzzeval, our proposed...
Mikael Heinze, Daniel Ortiz Arroyo, Henrik Legind ...
ANOR
2011
158views more  ANOR 2011»
15 years 1 months ago
Hybrid scatter tabu search for unconstrained global optimization
Abstract The problem of finding a global optimum of an unconstrained multimodal function has been the subject of intensive study in recent years, giving rise to valuable advances ...
Abraham Duarte, Rafael Martí, Fred Glover, ...
CVPR
2010
IEEE
16 years 2 months ago
SPEC Hashing: Similarity Preserving algorithm for Entropy-based Coding
Searching approximate nearest neighbors in large scale high dimensional data set has been a challenging problem. This paper presents a novel and fast algorithm for learning binary...
Ruei-Sung Lin, David Ross, Jay Yagnik
ESOP
2007
Springer
16 years 27 days ago
Multi-language Synchronization
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...
Robert Ennals, David Gay