3323 search results - page 315 / 665 » Computational Semantics with Functional Programming |
151
click to vote
SBACPAD
2003
IEEE
15 years 12 months ago
2003
IEEE
Comparison of the DNA sequences and genes of two genomes can be useful to investigate the common functionalities of the corresponding organisms and get a better understanding of h...
190
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
197
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A transcriptional regulatory module (TRM) is a set of genes that is regulated by a common set of transcription factors (TFs). By organizing the genome into TRMs, a liv...
166
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
210
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...