1247 search results - page 61 / 250 » A First Report on the A |
135
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
Semidefinite relaxation (SDR) is a high-performance efficient approach to MIMO detection especially for the BPSK or QPSK constellations. Recently, a number of research endeavors...
191
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
161
click to vote
DASFAA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
153
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
146
click to vote
SIMVIS
2001
15 years 7 months ago
2001
This year GPSS celebrates its 40th birthday. This paper reports on the development during these 40 years, starting with the first version developed by Gordon at IBM in 1961, and t...