7504 search results - page 354 / 1501 » Computing with Action Potentials |
155
click to vote
NSDI
2010
15 years 6 months ago
2010
We present Airavat, a MapReduce-based system which provides strong security and privacy guarantees for distributed computations on sensitive data. Airavat is a novel integration o...
135
Voted
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
149
click to vote
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
151
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a novel methodology for implementing video search functions such as retrieval of near-duplicate videos and recognition of actions in surveillance video. Video...
130
click to vote
ECBS
2002
IEEE
15 years 9 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...