5863 search results - page 17 / 1173 » Calculating Functional Programs |
JQL
2006
13 years 8 months ago
2006
In a recent work, M. Covington discusses the enumeration of two different sets of alignments of two strings of symbols using elementary combinatorial techniques. He defines two fu...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
The problem of computing the electrostatic energy of a large molecule is considered. It is reduced to solving the Poisson equation inside and the linear Poisson-Boltzmann equation ...
ENGL
2007
13 years 8 months ago
2007
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
MJ
2007
13 years 8 months ago
2007
With increasingly smaller feature sizes and higher on-chip densities, the power dissipation of VLSI systems has become a primary concern for designers. This paper first describes...
IEEEHPCS
2010
13 years 3 months ago
2010
Intelligent sensor selection for monitoring operations is one of the serious subjects to reduce information processing time and increase information fusion accuracy. This paper at...