1620 search results - page 30 / 324 » Testing Polymorphic Properties |
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
104
click to vote
APAL
2008
15 years 2 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
127
click to vote
ISBI
2011
IEEE
14 years 5 months ago
2011
IEEE
Most algorithms used for imaging genetics examine statistical effects of each individual genetic variant, one at a time. We developed a new approach, based on ridge regression, to...
119
click to vote
KBSE
2010
IEEE
15 years 11 days ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
103
click to vote
NIME
2005
Springer
15 years 7 months ago
2005
Springer
A typical experiment design within the field of music psychology is playing music to a test subject who listens and reacts – most often by verbal means. One limitation of this k...