1115 search results - page 77 / 223 » An Abstract Look at Realizability |
VLSI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--Microprocessor architectures have become increasingly power limited in recent years. Currently power and thermal envelopes dictate peak performance limits more than any o...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract-- The problem of finding the eigenvector corresponding to the largest eigenvalue of a stochastic matrix has numerous applications in ranking search results, multi-agent co...
DLOG
2009
13 years 7 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- The focus of this article is to undertake a comparative analysis of multi-step-ahead linear multivariate predictors. The approach considered for the estimation will be b...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
: Much of the current theory of networked control systems uses simple point-to-point communiodels as an abstraction of the underlying network. As a result, the controller has very ...