5255 search results - page 990 / 1051 » Formal Methods for Privacy |
185
click to vote
ATAL
2007
Springer
16 years 7 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
178
click to vote
GECCO
2007
Springer
16 years 7 days ago
2007
Springer
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
139
click to vote
TPHOL
2006
IEEE
16 years 2 days ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
190
click to vote
MMSEC
2006
ACM
16 years 19 hour ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
164
click to vote
MOBICOM
2006
ACM
16 years 19 hour ago
2006
ACM
It was recently reported that all known face and combined greedy-face routing variants cannot guarantee message delivery in arbitrary undirected planar graphs. The purpose of this...