7118 search results - page 886 / 1424 » Electrical and Computer Engineering |
152
click to vote
EDUTAINMENT
2009
Springer
15 years 11 months ago
2009
Springer
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
126
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
141
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
126
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
145
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the parameterized complexity of generalisations and variations of the dominating set problem on classes of graphs that are nowhere dense. In particular, we show that...