10568 search results - page 1766 / 2114 » Computer Intelligence and Formalization |
211
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
153
click to vote
NSPW
2006
ACM
16 years 19 days ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
177
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
209
Voted
CCS
2005
ACM
16 years 6 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
174
click to vote
SCVMA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...