Sciweavers

2704 search results - page 300 / 541
» A proposed Glass-Painting Filter
Sort
View
ENTCS
2010
173views more  ENTCS 2010»
15 years 6 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
IMSCCS
2006
IEEE
16 years 20 days ago
Quality Assessment of Peptide Tandem Mass Spectra
Background: Tandem mass spectrometry has emerged as a cornerstone of high throughput proteomic studies owing in part to various high throughput search engines which are used to in...
Fang-Xiang Wu, Pierre Gagné, Arnaud Droit, ...
CONEXT
2009
ACM
15 years 7 months ago
BUFFALO: bloom filter forwarding architecture for large organizations
In enterprise and data center networks, the scalability of the data plane becomes increasingly challenging as forwarding tables and link speeds grow. Simply building switches with...
Minlan Yu, Alex Fabrikant, Jennifer Rexford
RECSYS
2010
ACM
15 years 6 months ago
Collaborative filtering via euclidean embedding
Recommendation systems suggest items based on user preferences. Collaborative filtering is a popular approach in which recommending is based on the rating history of the system. O...
Mohammad Khoshneshin, W. Nick Street
AUSAI
2004
Springer
15 years 10 months ago
On Enhancing the Performance of Spam Mail Filtering System Using Semantic Enrichment
With the explosive growth of the Internet, e-mails are regarded as one of the most important methods to send e-mails as a substitute for traditional communications. As e-mail has b...
Hyun-Jun Kim, Heung-Nam Kim, Jason J. Jung, GeunSi...