3552 search results - page 669 / 711 » Proof theory in the abstract |
123
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
106
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
137
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper extends the analogies employed in the development of quantum-inspired evolutionary algorithms by proposing quantum-inspired Hadamard walks, called QHW. A novel quantum-...
101
click to vote
JCT
2011
14 years 9 months ago
2011
Abstract. We introduce a new basis for quasisymmetric functions, which arise from a specialization of nonsymmetric Macdonald polynomials to standard bases, also known as Demazure a...
125
click to vote
JSAC
2011
14 years 9 months ago
2011
Abstract— Spectrum management is used to improve performance in multiuser communication system, e.g., cognitive radio or femtocell networks, where multiuser interference can lead...