4340 search results - page 775 / 868 » Formal Methods and Cryptography |
172
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
139
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
118
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
124
click to vote
COGSCI
2010
15 years 4 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
132
click to vote
CJ
2008
15 years 4 months ago
2008
We will describe three kinds of probabilistic induction problems, and give general solutions for each , with associated convergence theorems that show they tend to give good proba...