1094 search results - page 172 / 219 » On Computing Explanations in Argumentation |
96
Voted
IVC
2008
15 years 16 days ago
2008
This paper presents arguments that explicit strategies for visual attentional selection are important for cognitive vision systems, and shows that a number of proposals currently ...
132
click to vote
INFORMATICALT
2007
15 years 14 days ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
103
Voted
WS
2008
ACM
15 years 13 days ago
2008
ACM
In this paper we describe a model for automatically generating video documentaries. This allows viewers to specify the subject and the point of view of the documentary to be gener...
113
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
111
click to vote
TCS
2010
14 years 11 months ago
2010
We investigate the runtime of a Binary Particle Swarm Optimizer (PSO) for optimizing pseudo-Boolean functions f : {0, 1}n → R. The Binary PSO maintains a swarm of particles sear...