3229 search results - page 416 / 646 » The Theory of Timed Automata |
183
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The problem of interference alignment in time-varying MIMO interference channels is considered. To reduce complexity, an adaptive algorithm for beam vector design is proposed base...
180
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
180
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Graph theory provides a powerful set of metrics and conceptual ideas to model and investigate the behavior of communication networks. Most graph-theoretical frameworks in the netw...
172
click to vote
EGH
2010
Springer
15 years 4 months ago
2010
Springer
We present a rasterizer, based on time-dependent edge equations, that computes analytical visibility in order to render accurate motion blur. The theory for doing the computations...
216
click to vote
WER
2010
Springer
15 years 4 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...