Sciweavers

680 search results - page 82 / 136
» Complexity of Strict Implication
Sort
View
116
Voted
ECAI
2010
Springer
15 years 3 months ago
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
Lutz Schröder, Dirk Pattinson, Daniel Hausman...
114
Voted
CORR
2010
Springer
63views Education» more  CORR 2010»
15 years 2 months ago
On Opinion Dynamics in Heterogeneous Networks
This paper studies the opinion dynamics model recently introduced by Hegselmann and Krause: (1) each agent in a group mantains a real number describing its opinion, (2) each agent ...
Anahita Mirtabatabaei, Francesco Bullo
130
Voted
JGTOOLS
2008
189views more  JGTOOLS 2008»
15 years 2 months ago
Subtractive Shadows: A Flexible Framework for Shadow Level of Detail
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
Christopher DeCoro, Szymon Rusinkiewicz
110
Voted
BC
2004
97views more  BC 2004»
15 years 2 months ago
An elaborated model of fly small-target tracking
Flies have the capability to visually track small moving targets, even across cluttered backgrounds. Previous computational models, based on figure detection (FD) cells identified ...
Charles M. Higgins, Vivek Pant
116
Voted
BCSHCI
2009
15 years 16 days ago
User research in a scientific software development project
The Usable Image project provides usability and user-centred design support to a scientific software development project. OMERO is a complex software application aimed at supporti...
David Sloan, Catriona Macaulay, Paula Forbes, Scot...