Sciweavers

4231 search results - page 549 / 847
» Using Language More Responsibly
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 8 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
ISSS
1995
IEEE
109views Hardware» more  ISSS 1995»
15 years 8 months ago
1995 high level synthesis design repository
In this paper we brie y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
Preeti Ranjan Panda, Nikil D. Dutt
EVOW
2008
Springer
15 years 6 months ago
DEEPER: A Full Parsing Based Approach to Protein Relation Extraction
Abstract. Lexical variance in biomedical texts poses a challenge to automatic protein relation mining. We therefore propose a new approach that relies only on more general language...
Timur Fayruzov, Martine De Cock, Chris Cornelis, V...
FORTEST
2008
15 years 6 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
DATESO
2007
134views Database» more  DATESO 2007»
15 years 6 months ago
Genetic Algorithms in Syllable-Based Text Compression
Abstract. Syllable based text compression is a new approach to compression by symbols. In this concept syllables are used as the compression symbols instead of the more common char...
Tomas Kuthan, Jan Lansky