602 search results - page 110 / 121 » Program Calculation in Coq |
ACMSE
2010
ACM
13 years 6 months ago
2010
ACM
The Center for Remote Sensing of Ice Sheets (CReSIS) has been compiling Greenland ice sheet thickness data since 1993. The airborne program utilizes a 150 MHz radar echo sounder to...
BMCBI
2011
13 years 3 months ago
2011
Background: Designing maximally selective ligands that act on individual targets is the dominant paradigm in drug discovery. Poor selectivity can underlie toxicity and side effect...
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
The use of human hand as a natural interface device serves as a motivating force for research in the modeling, analyzing and capturing of the motion of articulated hand. Model-bas...
GIS
2007
ACM
14 years 9 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
Driven by novel biological wet lab techniques such as pyrosequencing there has been an unprecedented molecular data explosion over the last 2-3 years. The growth of biological seq...