9110 search results - page 1554 / 1822 » Formally-Based Design Evaluation |
148
click to vote
CEAS
2006
Springer
15 years 8 months ago
2006
Springer
One of the biggest challenges in building effective anti-spam solutions is designing systems to defend against the everevolving bag of tricks spammers use to defeat them. Because ...
149
click to vote
VISUALIZATION
1995
IEEE
15 years 8 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
157
click to vote
HT
1987
ACM
15 years 8 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
133
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
137
click to vote
NSDI
2007
15 years 6 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...