2452 search results - page 217 / 491 » On Reduction of Lagrange Systems |
160
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a single chip implementation of a space-time algorithm for co-channel interference (CCI) and intersymbol interference (ISI) reduction in GSM/DCS systems. The t...
183
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
160
click to vote
BIRTHDAY
1999
Springer
15 years 10 months ago
1999
Springer
This review paper will report on some recent discoveries in the area of Formal Languages, chie y by F. Otto, G. Buntrock and G. Niemann. These discoveries have pointed out certain ...
153
click to vote
ISSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Partitioning a system among multiple input and output pin I O limited packages is a widely researched and hard to solve problem. We previously described a new approach yielding ...
153
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are ...