Sciweavers

7720 search results - page 1220 / 1544
» A Model for Interface Groups
Sort
View
ATAL
2007
Springer
15 years 10 months ago
Model-based belief merging without distance measures
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
Verónica Borja Macías, Pilar Pozos P...
PET
2010
Springer
15 years 10 months ago
unFriendly: Multi-party Privacy Risks in Social Networks
Abstract. As the popularity of social networks expands, the information users expose to the public has potentially dangerous implications for individual privacy. While social netwo...
Kurt Thomas, Chris Grier, David M. Nicol
ECAI
2004
Springer
15 years 10 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
CCGRID
2009
IEEE
15 years 10 months ago
The Grid Enablement and Sustainable Simulation of Multiscale Physics Applications
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...
Yingwen Song, Yoshio Tanaka, Hiroshi Takemiya, Aii...
AAAI
2010
15 years 8 months ago
Informed Lifting for Message-Passing
Lifted inference, handling whole sets of indistinguishable objects together, is critical to the effective application of probabilistic relational models to realistic real world ta...
Kristian Kersting, Youssef El Massaoudi, Fabian Ha...
« Prev « First page 1220 / 1544 Last » Next »