2272 search results - page 374 / 455 » Validity Invariants and Effects |
DAC
2011
ACM
12 years 11 months ago
2011
ACM
In this work, we propose an efficient and accurate full-chip thermomechanical stress and reliability analysis tool and design optimization methodology to alleviate mechanical rel...
ECIS
2011
12 years 11 months ago
2011
The paper presents a persuasive web application that stimulates residential energy conservation. The users of the application received consumption feedback that is based on electr...
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel approach for detecting global behaviour
anomalies in multiple disjoint cameras by learning
time delayed dependencies between activities cross camera
views. Sp...
HICSS
2012
IEEE
12 years 6 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
ICDE
2012
IEEE
12 years 1 months ago
2012
IEEE
— A key step in validating a proposed idea or system is to evaluate over a suitable data set. However, to this date there have been no useful tools for researchers to understand ...