4835 search results - page 710 / 967 » Refactoring Functional Programs |
68
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
93
Voted
EUPROJECTS
2006
Springer
15 years 4 months ago
2006
Springer
This paper examines problems persons with deafblindness have when using computers and it analyses how we can approach these problems in the redesign of a communication tool. A qual...
126
Voted
EVOW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present the newly developed core concept for the Multidimensional Knapsack Problem (MKP) which is an extension of the classical concept for the one-dimensional case. T...
118
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
A genetic algorithm for the longest common subsequence problem encodes candidate sequences as binary strings that indicate subsequences of the shortest or first string. Its fitnes...
113
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...