Sciweavers

12459 search results - page 42 / 2492
» cans 2006
Sort
View
IPL
2006
61views more  IPL 2006»
13 years 7 months ago
Fair service for mice in the presence of elephants
We show how randomized caches can be used in resource-poor partial-state routers to provide a fair share of bandwidth to short-lived flows that are known as mice when long-lived f...
Seth Voorhies, Hyunyoung Lee, Andreas Klappenecker
ISCI
2006
95views more  ISCI 2006»
13 years 7 months ago
Roughness bounds in rough set operations
This paper presents some roughness bounds for rough set operations. The results show that a bound of the set operation can be determined from their operand's roughnesses. We ...
Yingjie Yang, Robert John
JANCL
2006
74views more  JANCL 2006»
13 years 7 months ago
Linear-time temporal logics with Presburger constraints: an overview
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
Stéphane Demri
JAT
2006
73views more  JAT 2006»
13 years 7 months ago
Factorization of multivariate positive Laurent polynomials
Abstract. Recently M. Dritschel proved that any positive multivariate Laurent polynomial can be factorized into a sum of square magnitudes of polynomials. We first give another pro...
Jeffrey S. Geronimo, Ming-Jun Lai
JCB
2006
83views more  JCB 2006»
13 years 7 months ago
A Discrete-Event Approach to Transcription Control with Dynamic Event-Controllability
This paper presents a discrete-event approach to synthesis of transcription control for a class of (computational) gene networks. Given a set of genes and protein-gene and/or prote...
Peter C. Y. Chen