Sciweavers

4781 search results - page 934 / 957
» Complexity at large
Sort
View
ALGORITHMICA
2002
97views more  ALGORITHMICA 2002»
13 years 7 months ago
Testing and Spot-Checking of Data Streams
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
Joan Feigenbaum, Sampath Kannan, Martin Strauss, M...
BMCBI
2004
151views more  BMCBI 2004»
13 years 7 months ago
Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
Jens Reeder, Robert Giegerich
BMCBI
2004
112views more  BMCBI 2004»
13 years 7 months ago
SPOC: A widely distributed domain associated with cancer, apoptosis and transcription
Background: The Split ends (Spen) family are large proteins characterised by N-terminal RNA recognition motifs (RRMs) and a conserved SPOC (Spen paralog and ortholog C-terminal) d...
Luis Sánchez-Pulido, Ana María Rojas...
CCR
2004
147views more  CCR 2004»
13 years 7 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
CN
2004
103views more  CN 2004»
13 years 7 months ago
Modeling IP traffic: joint characterization of packet arrivals and packet sizes using BMAPs
This paper proposes a traffic model and a parameter fitting procedure that are capable of achieving accurate prediction of the queuing behavior for IP traffic exhibiting long-rang...
Paulo Salvador, António Pacheco, Rui Valada...