6978 search results - page 1184 / 1396 » On Proofs in System P |
ISCAPDCS
2004
14 years 1 days ago
2004
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
NIPS
2001
14 years 21 hour ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...
VISSYM
2004
14 years 16 hour ago
2004
This paper reports on a new approach for visualizing multi-field MRI or CT datasets in an immersive environment with medical applications. Multi-field datasets combine multiple sc...
VCIP
2003
14 years 6 hour ago
2003
Stroke is a major cause of disability and health care expenditure around the world. Existing stroke rehabilitation methods can be effective but are costly and need to be improved....
PICS
1998
13 years 12 months ago
1998
In this paper we describe the Image FidelityAssessor (IFA), a model of the human visual system designed to evaluate perceived fidelity. In particular, we describe the structure of...