1193 search results - page 193 / 239 » A primer of simple theories |
162
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
168
click to vote
ICC
2007
IEEE
16 years 15 days ago
2007
IEEE
— A method for the mitigation of the effect of narrowband interference (NBI) on the turbo decoder in OFDM systems is proposed. The presence of NBI leads to a contaminated Gaussia...
166
click to vote
P2P
2007
IEEE
16 years 11 days ago
2007
IEEE
Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher ...
156
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
The runtime analysis of randomized search heuristics is a growing field where, in the last two decades, many rigorous results have been obtained. These results, however, apply pa...
155
click to vote
PARELEC
2006
IEEE
16 years 5 days ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...