951 search results - page 83 / 191 » Suggestions for OWL 3 |
TVCG
2008
14 years 9 months ago
2008
Interaction cost is an important but poorly understood factor in visualization design. We propose a framework of interaction costs inspired by Norman's Seven Stages of Action ...
JSYML
2007
14 years 9 months ago
2007
We give four examples of theories in which Kreisel’s Conjecture is false: (1) the theory PA(-) obtained by adding a function symbol minus, ‘−’, to the language of PA, and t...
JAR
2002
14 years 9 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
NN
2002
Springer
14 years 9 months ago
2002
Springer
It has recently been suggested that the nervous system employs forward models for the purpose of motor control. The evidence for this hypothetical computational structure comes fr...
SISAP
2010
IEEE
14 years 8 months ago
2010
IEEE
In this demonstration we present SHIATSU, an automatic semantic-based video tagging system which relies on shot boundary detection and hierarchical annotation. More in details, in...