6800 search results - page 1127 / 1360 » Testing with Functions as Specifications |
137
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
Power supply noise increases the circuit delay, which may lead to performance failure of a design. Decoupling capacitance (decap) addition is effective in reducing the power suppl...
153
click to vote
ASSETS
2007
ACM
15 years 9 months ago
2007
ACM
Mobile phones can provide a number of benefits to older people. However, most mobile phone designs and form factors are targeted at younger people and middle-aged adults. To infor...
133
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Credal sets are closed convex sets of probability mass functions. The lower probabilities specified by a credal set for each element of the power set can be used as cons...
156
click to vote
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...
155
Voted
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...