588 search results - page 61 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
EDBT
2010
ACM
13 years 11 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
CGF
2006
13 years 8 months ago
2006
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
The recognition of events in video data is a subject of much current interest. In this paper, we address several issues related to this topic. The first one is overfitting when ...