11097 search results - page 69 / 2220 » Hera presentation generator |
COMPSEC
2006
14 years 9 months ago
2006
This paper provides an overview of current and potential future spam filtering approaches. We examine the problems spam introduces, what spam is and how we can measure it. The pap...
FIS
2010
14 years 7 months ago
2010
Imagine what kind of applications become possible when our mobile devices not only present data but provide valuable information to other users. Users become able to instantaneousl...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
ISMVL
2006
IEEE
15 years 3 months ago
2006
IEEE
A multiple-valued input address generator produces a unique address given a multiple-valued input data vector. This paper presents methods to realize multiple-valued input address...
INLG
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...