8874 search results - page 1573 / 1775 » A New Implementation of Automath |
197
click to vote
SIGARCH
2008
15 years 7 months ago
2008
While technology trends have ushered in the age of chip multiprocessors (CMP) and enabled designers to place an increasing number of cores on chip, a fundamental question is what ...
187
click to vote
SIMPRA
2008
15 years 7 months ago
2008
In this paper we present two software tools for the simulation of electron multiplication processes in radio frequency (RF) waveguides. The electric discharges are caused by the m...
208
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
Abstract. Fractal image compression is an engaging and worthwhile technology that may be successfully applied to still image coding, especially at high compression ratios. Unfortun...
220
click to vote
AROBOTS
2005
15 years 7 months ago
2005
Autonomous navigation in cross-country environments presents many new challenges with respect to more traditional, urban environments. The lack of highly structured components in t...
220
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Transcription factor binding site (TFBS) prediction is a difficult problem, which requires a good scoring function to discriminate between real binding sites and backg...