Sciweavers

11949 search results - page 267 / 2390
» Some results on (a:b)-choosability
Sort
View
SODA
2003
ACM
102views Algorithms» more  SODA 2003»
15 years 3 months ago
Online paging with arbitrary associativity
We tackle the problem of online paging on two level memories with arbitrary associativity (including victim caches, skewed caches etc.). We show that some important classes of pag...
Enoch Peserico
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 2 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
123
Voted
ICDE
2010
IEEE
200views Database» more  ICDE 2010»
15 years 1 months ago
Towards better entity resolution techniques for Web document collections
— As person names are non-unique, the same name on different Web pages might or might not refer to the same real-world person. This entity identification problem is one of the m...
Surender Reddy Yerva, Zoltán Miklós,...
ACS
2008
15 years 1 months ago
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
Robert Wisbauer
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 1 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé