10568 search results - page 1766 / 2114 » Computer Intelligence and Formalization |
167
click to vote
ICDCS
2008
IEEE
15 years 11 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...
122
Voted
NSPW
2006
ACM
15 years 10 months 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 ...
150
click to vote
BIRTHDAY
2005
Springer
15 years 10 months 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...
175
click to vote
CCS
2005
ACM
15 years 10 months 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...
142
Voted
SCVMA
2004
Springer
15 years 10 months 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...