7504 search results - page 354 / 1501 » Computing with Action Potentials |
206
click to vote
NSDI
2010
15 years 8 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...
176
click to vote
SYNASC
2006
IEEE
16 years 23 days 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...
196
click to vote
ICAIL
2003
ACM
16 years 7 hour 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...
194
click to vote
MM
2003
ACM
16 years 6 hour 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...
172
click to vote
ECBS
2002
IEEE
15 years 11 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...