2026 search results - page 349 / 406 » Tools for Test Case Generation |
149
click to vote
ACL
2012
13 years 6 months ago
2012
We propose a latent variable model to enhance historical analysis of large corpora. This work extends prior work in topic modelling by incorporating metadata, and the interactions...
141
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
215
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
113
click to vote
ECIR
2009
Springer
16 years 1 months ago
2009
Springer
Online product reviews are becoming increasingly available, and are being used more and more frequently by consumers in order to choose among competing products. Tools that rank co...
122
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...