860 search results - page 170 / 172 » A Process Algebra Based Verification of a Production System |
BIBE
2003
IEEE
14 years 28 days ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
KDD
2000
ACM
13 years 11 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
BMCBI
2010
13 years 7 months ago
2010
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We investigate the ground clutter homogeneity and target detection performance using airborne multi-channel AESA (Active Electronically Scanned Array) radar data from flight trial...
AAAI
2011
12 years 7 months ago
2011
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...