2742 search results - page 336 / 549 » Deriving Category Theory from Type Theory |
JSSPP
1998
Springer
14 years 1 months ago
1998
Springer
We present a technique for deriving predictions for the run times of parallel applications from the run times of "similar" applications that have executed in the past. T...
CSDA
2007
13 years 9 months ago
2007
At present, likelihood ratios for two-level models are determined with the use of a normal kernel estimation procedure when the between-group distribution is thought to be non-nor...
IVC
2000
13 years 9 months ago
2000
The human vision system has adaptation mechanisms that cannot be managed with the classic tri-stimulus color theory. The effects of these mechanisms are clearly visible in some we...
IV
2010
IEEE
13 years 7 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
WIOPT
2010
IEEE
13 years 7 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...