1471 search results - page 124 / 295 » Adaptive Discriminative Generative Model and Its Application... |
158
click to vote
EVOW
2001
Springer
15 years 8 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
164
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
150
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
154
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
196
click to vote
NAACL
2010
15 years 2 months ago
2010
In this paper we present an opinion summarization technique in spoken dialogue systems. Opinion mining has been well studied for years, but very few have considered its applicatio...