4299 search results - page 561 / 860 » Concurrent Test Generation |
131
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
141
click to vote
VAMOS
2009
Springer
15 years 11 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
103
click to vote
ACSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We present and evaluate various methods for purely automated attacks against click-based graphical passwords. Our purely automated methods combine click-order heuristics with focu...
124
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a single-image super-resolution scheme for enlarging low quality thumbnail images widely distributed on the web, which are often generated by downsampling plus...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Stop word detection is attempted in this work in the context of retrieval of document images in the compressed domain. Algorithms are presented to identify text lines and words an...