Sciweavers

1678 search results - page 162 / 336
» An ASM Specification of C
Sort
View
EMSOFT
2005
Springer
15 years 11 months ago
HAIL: a language for easy and correct device access
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Na...
DAS
2008
Springer
15 years 7 months ago
A Fast Preprocessing Method for Table Boundary Detection: Narrowing Down the Sparse Lines Using Solely Coordinate Information
As the rapid growth of PDF document in digital libraries, recognizing the document structure and detecting specific document components are useful for document storage, classifica...
Ying Liu, Prasenjit Mitra, C. Lee Giles
AAAI
1996
15 years 7 months ago
What Is Planning in the Presence of Sensing?
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
Hector J. Levesque
BMCBI
2010
134views more  BMCBI 2010»
15 years 6 months ago
Semi-automated screening of biomedical citations for systematic reviews
Background: Systematic reviews address a specific clinical question by unbiasedly assessing and analyzing the pertinent literature. Citation screening is a time-consuming and crit...
Byron C. Wallace, Thomas A. Trikalinos, Joseph Lau...
BMCBI
2010
105views more  BMCBI 2010»
15 years 6 months ago
Comparison of PGH2 binding site in prostaglandin synthases
Background: Prostaglandin H2 (PGH2) is a common precursor for the synthesis of five different Prostanoids via specific Prostanoid Synthases. The binding of this substrate with the...
Padmapriya Paragi-Vedanthi, Mukesh Doble