Sciweavers

12459 search results - page 42 / 2492
» cans 2006
Sort
View
IPL
2006
61views more  IPL 2006»
14 years 11 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»
14 years 11 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»
14 years 11 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»
14 years 11 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»
14 years 11 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