5550 search results - page 1022 / 1110 » Different Approaches to Proof Systems |
155
click to vote
HOTI
2008
IEEE
16 years 28 days ago
2008
IEEE
Several types of low power passive equalizer is proposed and optimized in this work. The equalizer topologies include T-junction, parallel R-C and series R-L structures. These str...
161
click to vote
BIBE
2007
IEEE
16 years 25 days ago
2007
IEEE
— The prognosis for many cancers could be improved dramatically if they could be detected while still at the microscopic disease stage. We are investigating the possibility of de...
179
click to vote
ICSM
2007
IEEE
16 years 24 days ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
182
click to vote
CLEF
2007
Springer
16 years 20 days ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the ImageCLEF Medical Image Annotation task of ImageCLEF 2007. Our areas of expertise do not include image...
161
click to vote
ETRA
2006
ACM
16 years 13 days ago
2006
ACM
Understanding players’ visual attention patterns within an interactive 3D game environment is an important research area that can improve game level design and graphics. Several...