Sciweavers

5664 search results - page 934 / 1133
» Creativity support tools
Sort
View
CEAS
2008
Springer
15 years 6 months ago
A Mail Client Plugin for Privacy-Preserving Spam Filter Evaluation
We describe a plugin extension to the Thunderbird Mail Client to support standardized evaluation of multiple spam filters on private mail streams. Researchers need not view or han...
Mona Mojdeh, Gordon V. Cormack
CF
2008
ACM
15 years 6 months ago
Exact combinational logic synthesis and non-standard circuit design
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
Paul Tarau, Brenda Luderman
CHI
2010
ACM
15 years 6 months ago
Sequential art for science and CHI
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...
Duncan Rowland, Dan Porter, Mel Gibson, Kevin Walk...
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Constraint extraction for pseudo-functional scan-based delay testing
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...
Yung-Chieh Lin, Feng Lu, Kai Yang, Kwang-Ting Chen...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 6 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart