1784 search results - page 259 / 357 » Comparing designs for computer simulation experiments |
108
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Tag clouds have become a frequently used interaction technique in the web. Recently several approaches to present tag clouds with the tags semantically clustered have been propose...
102
click to vote
DAC
2011
ACM
13 years 11 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...
122
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
Compared to scanned images, document pictures captured by camera can suffer from distortions due to perspective and page warping. It is necessary to restore a frontal planar view ...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose using the inner-distance between landmark points to build shape descriptors. The inner-distance is defined as the length of the shortest path between landmark points wi...