4798 search results - page 43 / 960 » A Time for Change |
TSC
2008
14 years 10 months ago
2008
Web service composition (WSC) techniques assume that the parameters used to model the environment remain static and accurate throughout the composition's execution. However, W...
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Metal-only ECO realizes the last-minute design changes by revising the photomasks of metal layers only. This task is challenging because the pre-injected spare cells are limited b...
ICPR
2006
IEEE
15 years 4 months ago
2006
IEEE
In the present paper, a method for detecting changes between two images of the same scene taken at different times using their joint intensity histogram is proposed. First, the jo...
104
click to vote
ETRA
2008
ACM
15 years 11 days ago
2008
ACM
We investigate consciously controlled pupil size as an input modality. Pupil size is affected by various processes, e.g., physical activation, strong emotional experiences and cog...
ENTCS
2007
14 years 10 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...