Sciweavers

2672 search results - page 53 / 535
» Testing Self-Similar Networks
Sort
View
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
15 years 5 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
159
Voted
BMCBI
2005
130views more  BMCBI 2005»
15 years 3 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...
130
Voted
NETWORKS
2008
15 years 3 months ago
A simple method for improving the primal simplex method for the multicommodity flow problem
We present a new efficient approach for solving the multicommodity flow problem as a sequence of subproblems, each on a very sparse but connected network. We show that each subpro...
Agustín Bompadre, James B. Orlin
131
Voted
INFORMATICALT
2000
178views more  INFORMATICALT 2000»
15 years 3 months ago
Neural Network for Color Constancy
Abstract. Color constancy is the perceived stability of the color of objects under different illuminants. Four-layer neural network for color constancy has been developed. It has s...
Rytis Stanikunas, Henrikas Vaitkevicius
102
Voted
ICNP
1997
IEEE
15 years 7 months ago
Dynamic host routing for production use of developmental networks
1 Many high-speed networks are in a development stage, compared to established technologies like Ethernet. Use of these networks for production service provides substantial benefit...
Joseph D. Touch, Theodore Faber