8141 search results - page 1563 / 1629 » Higher Order Generalization |
WICON
2008
13 years 11 months ago
2008
Mobile ad hoc networks range from traditional MANETs where end-to-end paths exist from sources to destinations, to DTNs where no contemporaneous end-to-end paths exist and communi...
AAAI
2004
13 years 11 months ago
2004
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the ...
AAAI
2004
13 years 11 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
DAGSTUHL
2006
13 years 11 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
ISSA
2004
13 years 11 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...