1620 search results - page 24 / 324 » Testing Polymorphic Properties |
132
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
133
click to vote
DOLAP
2005
ACM
15 years 3 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
ISMB
2000
15 years 3 months ago
2000
The first available genome of a multicellular organism, C. elegans, was used as a test case for protein fold assignment using PSI-BLAST, followed by rational structure modeling an...
104
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
113
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Copy number variations (CNVs) and polymorphisms (CNPs) have only recently gained the genetic community's attention. Conservative estimates have shown that CNVs an...