612 search results - page 83 / 123 » Using Static Analysis to Improve Automatic Test Generation |
198
click to vote
IJCAI
2003
15 years 7 months ago
2003
Keyphrases are useful for a variety of purposes, including summarizing, indexing, labeling, categorizing, clustering, highlighting, browsing, and searching. The task of automatic ...
183
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
189
click to vote
AOSD
2009
ACM
16 years 24 days ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
149
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
A stochastic model of stroke order variation is proposed and applied to the stroke-order free on-line Kanji character recognition. The proposed model is a hidden Markov model (HMM...
178
click to vote
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...