Sciweavers

6320 search results - page 86 / 1264
» Towards Situated Computing
Sort
View
VMCAI
2004
Springer
16 years 1 days ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
ICAIL
2003
ACM
15 years 12 months ago
Towards a Computational Account of Persuasion in Law
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
DNA
2001
Springer
15 years 11 months ago
Towards Optimization of PCR Protocol in DNA Computing
Satoshi Kashiwamura, Masashi Nakatsugawa, Masahito...