4340 search results - page 806 / 868 » Formal Methods and Cryptography |
159
Voted
ATAL
2007
Springer
15 years 10 months 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...
149
click to vote
GECCO
2007
Springer
15 years 10 months 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...
107
click to vote
TPHOL
2006
IEEE
15 years 10 months 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, (...
169
Voted
MMSEC
2006
ACM
15 years 10 months 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...
140
Voted
MOBICOM
2006
ACM
15 years 10 months 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...