2278 search results - page 50 / 456 » Specification Techniques for Automatic Performance Analysis ... |
FORTE
2004
14 years 11 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
105
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
Knowledge-mapping tools enable users to quickly identify relevant information and expertise. This paper discusses a number of natural-language phenomena that limit the performance...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
† There is a significant need for a realistic dataset on which to evaluate layout analysis methods and examine their performance in detail. This paper presents a new dataset (and...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
To aid the development of spreadsheet debugging tools, a knowledge of end-users natural behaviour within the Excel environment would be advantageous. This paper details the design...