1580 search results - page 33 / 316 » Non-Interference Through Determinism |
ADG
2006
Springer
14 years 2 months ago
2006
Springer
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
CSCW
2006
ACM
14 years 2 months ago
2006
ACM
Despite the availability of awareness servers and casual interaction systems, distributed groups still cannot maintain artifact awareness – the easy awareness of the documents, ...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
We apply adjacency matrix clustering to network attack graphs for attack correlation, prediction, and hypothesizing. We self-multiply the clustered adjacency matrices to show atta...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
Our goal is to automatically recognize and enroll new vocabulary in a multimodal interface. To accomplish this our technique aims to leverage the mutually disambiguating aspects o...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...