6978 search results - page 1347 / 1396 » On Proofs in System P |
BMCBI
2002
13 years 7 months ago
2002
Background: DNA microarray technology is a powerful technique that was recently developed in order to analyze thousands of genes in a short time. Presently, microarrays, or chips,...
IJPP
2002
13 years 7 months ago
2002
This paper presents a compilation framework that allows executable code to be shared across different Java Virtual Machine (JVM) instances. All fully compliant JVMs that target se...
INFSOF
2002
13 years 7 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
CLUSTER
1999
IEEE
13 years 7 months ago
1999
IEEE
Efficient data storage, a major concern in the modern computer industry, is mostly provided today by the the traditional magnetic disk. Unfortunately the cost of a disk transfer m...
NN
1998
Springer
13 years 7 months ago
1998
Springer
The selection and control of action is a critical problem for both biological and machine animated systems that must operate in complex real world situations. Visually guided eye ...