Sciweavers

1636 search results - page 15 / 328
» Type-Theoretic Functional Semantics
Sort
View
ENTCS
2007
72views more  ENTCS 2007»
14 years 9 months ago
Equivalence of Two Formal Semantics for Functional Logic Programs
Francisco Javier López-Fraguas, Juan Rodr&i...
BIBE
2004
IEEE
179views Bioinformatics» more  BIBE 2004»
15 years 1 months ago
Incorporating Ontology-Driven Similarity Knowledge into Functional Genomics: An Exploratory Study
This research explores the feasibility of semantic similarity approaches to supporting predictive tasks in functional genomics. It aims to establish potential relationships betwee...
Francisco Azuaje, Olivier Bodenreider