7096 search results - page 343 / 1420 » Data integration in mashups |
186
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...
184
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Efforts to predict functional sites from globular proteins is increasingly common; however, the most successful of these methods generally require structural insight. ...
176
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Target-based positioning and 3-D target reconstruction are critical capabilities in deploying submersible platforms for a range of underwater applications, e.g., search and inspec...
356
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
198
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...