4650 search results - page 612 / 930 » Generating and evaluating evaluative arguments |
146
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
167
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
148
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
We compare two methods for assessing the performance of groupwise non-rigid registration algorithms. One approach, which has been described previously, utilizes a measure of overl...
176
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
132
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In a higher level task such as clustering of web results or word sense disambiguation, knowledge of all possible distinct concepts in which an ambiguous word can be expressed woul...