527 search results - page 71 / 106 » Towards a Natural Way of Reasoning |
ASIAN
2006
Springer
14 years 6 days ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
AUSAI
2006
Springer
14 years 6 days ago
2006
Springer
The unsupervised nature of cluster analysis means that objects can be clustered in many different ways. This means that different clustering algorithms can lead to vastly different...
CAINE
2010
13 years 6 months ago
2010
Virtual reality (VR) technology has the potential to provide unique perspectives of data that are not possible with standard desktop hardware. The tracking devices often found wit...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
IWINAC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events....