7167 search results - page 347 / 1434 » A Technique for Invariant Generation |
182
click to vote
ACL
2008
15 years 9 months ago
2008
This paper describes a computational approach to resolving the true referent of a named mention of a person in the body of an email. A generative model of mention generation is us...
173
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
184
click to vote
USS
2008
15 years 10 months ago
2008
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...
198
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we present a new incremental learning strategy for handwritten character recognition systems. This learning strategy enables the recognition system to learn “rapi...
191
click to vote
WOSP
2005
ACM
16 years 1 months ago
2005
ACM
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...