8874 search results - page 66 / 1775 » A New Implementation of Automath |
144
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
124
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper presents a novel VLSI implementation of a MIMO detector for OFDM systems. The proposed architecture is able to perform both linear MMSE and reduced latticeaided MIMO ...
118
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
— H.264/AVC (Advanced Video Codec) is a new video coding standard developed by a joint effort of the ITU-TVCEG and ISO/IEC MPEG. This standard provides higher coding efficiency r...
130
Voted
DDECS
2008
IEEE
15 years 10 months ago
2008
IEEE
—A new FPGA implementation for adaptive median filters is proposed. Adaptive median filters exhibit better filtering properties than standard median filters; however, their i...
131
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Complex code bases require continual testing to ensure that both new development and routine maintenance do not create unintended side effects. Automation of regression testing is...