19798 search results - page 3624 / 3960 » Is Structural Subtyping Useful |
233
click to vote
IGARSS
2010
14 years 12 months ago
2010
Coincident profile information from CALIPSO's lidar and CloudSat's radar offers a unique opportunity to map the vertical structure of clouds over the globe with accuraci...
151
click to vote
JAMIA
2010
14 years 12 months ago
2010
Objective The authors used the i2b2 Medication Extraction Challenge to evaluate their entity extraction methods, contribute to the generation of a publicly available collection of...
201
click to vote
JCST
2010
14 years 12 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
157
click to vote
JLP
2010
14 years 12 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
138
click to vote
JMLR
2010
14 years 12 months ago
2010
We present two Bayesian algorithms CD-B and CD-H for discovering unconfounded cause and effect relationships from observational data without assuming causal sufficiency which prec...