1511 search results - page 200 / 303 » Relational Parametricity for Computational Effects |
161
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two step process where an initial coarse motion estimation is fo...
149
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
170
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing CSCW systems that support the widely varying needs of targeted users is difficult. There is no silver bullet technology that enables users to effectively collaborate wit...
153
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Microdata protection is a hot topic in the field of Statistical Disclosure Control, which has gained special interest after the disclosure of 658000 queries by the America Online...
160
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...