Sciweavers

16404 search results - page 3215 / 3281
» A set coverage problem
Sort
View
BMCBI
2008
96views more  BMCBI 2008»
15 years 21 days ago
Mapping proteins to disease terminologies: from UniProt to MeSH
Background: Although the UniProt KnowledgeBase is not a medical-oriented database, it contains information on more than 2,000 human proteins involved in pathologies. However, thes...
Anaïs Mottaz, Yum Lina Yip, Patrick Ruch, Ann...
89
Voted
BMCBI
2008
165views more  BMCBI 2008»
15 years 21 days ago
SWS: accessing SRS sites contents through Web Services
Background: Web Services and Workflow Management Systems can support creation and deployment of network systems, able to automate data analysis and retrieval processes in biomedic...
Paolo Romano 0001, Domenico Marra
106
Voted
CGF
2010
111views more  CGF 2010»
15 years 21 days ago
Density-based Outlier Rejection in Monte Carlo Rendering
The problem of noise in Monte-Carlo rendering arising from estimator variance is well-known and well-studied. In this work, we concentrate on identifying individual light paths as...
Christopher DeCoro, Tim Weyrich, Szymon Rusinkiewi...
COMGEO
2010
ACM
15 years 21 days ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
124
Voted
COMPSEC
2010
146views more  COMPSEC 2010»
15 years 21 days ago
An intruder model with message inspection for model checking security protocols
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
« Prev « First page 3215 / 3281 Last » Next »