Precongruence formats for decorated trace semantics
- Bard Bloom
- Wan Fokkink
- et al.
- 2004
- ACM TOCL
Paper
Publications
26903 results for Science
Approximation of Boolean Functions by Local Search
- Andreas Albrecht
- Chak-Kuen Wong
- 2004
- COAP
PaperEfficient filtering methods for clustering cDNAs with spliced sequence alignment
- Tetsuo Shibuya
- Hesashi Kashima
- et al.
- 2004
- Bioinformatics
PaperOrientation selection in functional oxide thin films
- G.J. Norga
- L. Fé
- et al.
- 2004
- Journal of the European Ceramic Society
PaperLuminance and contrast performance of liquid crystal displays for mammographic applications
- Ehsan Samei
- Steven L. Wright
- 2004
- Technology in Cancer Research and Treatment
PaperCorrection of non-linearity effects in detectors for electron spectroscopy
- N. Mannella
- S. Marchesini
- et al.
- 2004
- Journal of Electron Spectroscopy and Related Phenomena
PaperThe early days of experimental quantum cryptography
- John A. Smolin
- 2004
- IBM J. Res. Dev
PaperStructural Basis for Cooperative DNA Binding by CAP and Lac Repressor
- Alexander Balaeff
- L. Mahadevan
- et al.
- 2004
- Structure
PaperUsing MPEG-7 and MPEG-21 for Personalizing Video
- Belle L. Tseng
- Ching-Yung Lin
- et al.
- 2004
- IEEE Multimedia
PaperCategorizing Images in Web Documents
- Jianying Hu
- Amit Bagga
- 2004
- IEEE Multimedia
Paper