4107 search results - page 56 / 822 » The Generalized Lambda Test |
136
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
110
click to vote
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Motion-based face recognition is a young research topic, inspired mainly by psychological studies on motionbased perception of human faces. Unlike its close relative, appearance-b...
106
click to vote
JCC
2002
15 years 1 months ago
2002
: Generalized Born (GB) models provide, for many applications, an accurate and computationally facile estimate of the electrostatic contribution to aqueous solvation. The GB models...
183
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
117
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Genome-Wide Association (GWA) analysis is a powerful method for identifying loci associated with complex traits and drug response. Parts of GWA analyses, especially th...