Sciweavers

18306 search results - page 299 / 3662
» Algorithmics in Exponential Time
Sort
View
WDAG
2010
Springer
185views Algorithms» more  WDAG 2010»
15 years 5 months ago
The Computational Structure of Progress Conditions
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
Gadi Taubenfeld
IADIS
2009
15 years 4 months ago
Caching news channels on the user's desktop
The exponential growth of the Web probes for new, better filtering systems and latency diminishing applications. We are presenting the caching features that are deployed in the cl...
Christos Bouras, George Tsichritzis, Vassilis Tsog...
ATVA
2009
Springer
89views Hardware» more  ATVA 2009»
16 years 1 months ago
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Q...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 1 months ago
Exact controllability of linear neutral type systems by the moment problem approach
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
Rabah Rabah, Grigory Sklyar
CIE
2007
Springer
16 years 28 days ago
Feasible Depth
This paper introduces two complexity-theoretic formulations of Bennett’s computational depth: finite-state depth and polynomial-time depth. It is shown that for both formulation...
David Doty, Philippe Moser