2291 search results - page 383 / 459 » Representational Reasoning and Verification |
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Reliable prediction of parametric yield for a specific design is difficult; a significant reason is the reliance of the yield estimation methods on the hard-to-measure distributio...
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
Image filtering involves taking a digital image and producing a new image from it. In software packages such as Adobe’s Photoshop, image filters are used to produce artistic ve...
GIS
2009
ACM
14 years 2 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...