Sciweavers

4074 search results - page 393 / 815
» Defining Computational Aesthetics
Sort
View
FAC
2008
92views more  FAC 2008»
15 years 6 months ago
Capture-avoiding substitution as a nominal algebra
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
Murdoch James Gabbay, Aad Mathijssen
FOCM
2008
100views more  FOCM 2008»
15 years 6 months ago
Optimal Control and Geodesics on Quadratic Matrix Lie Groups
In this paper, we consider some matrix subgroups of the general linear group and in particular the special linear group that are defined by a quadratic matrix identity. The Lie al...
Anthony M. Bloch, Peter E. Crouch, Jerrold E. Mars...
189
Voted
IEICET
2008
126views more  IEICET 2008»
15 years 6 months ago
Skew-Frobenius Maps on Hyperelliptic Curves
The hyperelliptic curve cryptosystems take most of the time for computing a scalar multiplication kD of an element D in the Jacobian JC of a hyperelliptic curve C for an integer k....
Shunji Kozaki, Kazuto Matsuo, Yasutomo Shimbara
CVIU
2006
76views more  CVIU 2006»
15 years 6 months ago
Homeostatic image perception: An artificial system
This paper describes how a visual system can automatically define features of interest from the observation of a large enough number of natural images. The principle complements t...
Thomas Feldman, Laurent Younes
HEURISTICS
2006
95views more  HEURISTICS 2006»
15 years 6 months ago
Hard and soft constraints for reasoning about qualitative conditional preferences
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
Carmel Domshlak, Steven David Prestwich, Francesca...