626 search results - page 32 / 126 » When Can Formal Methods Make a Real Difference |
IMAGING
2000
13 years 10 months ago
2000
In simplest terms, brightness is the appearance of luminance and lightness is the appearance of objects. The experiments in this paper measure the appearance of three visible face...
AFP
2004
Springer
14 years 2 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
ENTCS
2006
13 years 8 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Image matching is an essential task in many computer vision applications. It is obvious that thorough utilization of all available information is critical for the success of match...
SIGMETRICS
2005
ACM
14 years 2 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...