2312 search results - page 248 / 463 » Invariance in Property Testing |
186
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Document registration is a problem where the image of a template document whose layout is known is registered with a test document image. Given the registration parameters, layout...
143
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
195
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
167
click to vote
IFIP12
2004
15 years 6 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
137
Voted
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Little is known about the cognitive abilities which influence the comprehension of scientific and information visualizations and what properties of the visualization affect compre...