Sciweavers

5570 search results - page 235 / 1114
» Applications of Fair Testing
Sort
View
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
15 years 7 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani
BMCBI
2005
130views more  BMCBI 2005»
15 years 5 months ago
Some statistical properties of regulatory DNA sequences, and their use in predicting regulatory regions in the Drosophila genome
Background: This paper addresses the problem of recognising DNA cis-regulatory modules which are located far from genes. Experimental procedures for this are slow and costly, and ...
Irina I. Abnizova, Rene te Boekhorst, Klaudia Walt...
CVPR
2000
IEEE
16 years 7 months ago
Integrating Color, Texture, and Geometry for Image Retrieval
This paper examines the problem of image retrieval from large, heterogeneous image databases. We present a technique that fulfills several needs identified by surveying recent res...
Nicholas R. Howe, Daniel P. Huttenlocher
INFOCOM
2008
IEEE
15 years 11 months ago
MPLOT: A Transport Protocol Exploiting Multipath Diversity Using Erasure Codes
—In this paper, we propose a novel transport protocol that effectively utilizes available bandwidth and diversity gains provided by heterogeneous, highly lossy paths. Our Multi-P...
Vicky Sharma, Shivkumar Kalyanaraman, Koushik Kar,...
DSRT
2003
IEEE
15 years 10 months ago
Performance Evaluation of the Managed Bandwidth Service with QoS Guarantees
This paper describes a solution to extend the Managed Bandwidth Service (MBS), which is provided on a backbone network using MPLS VPNs, to non-MPLS domains and also evaluates it. ...
Christos Bouras, Vaggelis Kapoulas, Dimitris Primp...