4074 search results - page 209 / 815 » Defining Computational Aesthetics |
85
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...
99
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
84
Voted
PERCOM
2003
ACM
16 years 8 days ago
2003
ACM
The proliferation of wireless networks, hand-held PCs, touch panels, large flat displays, sensors, and embedded devices is transforming traditional habitats and living spaces into...
96
Voted
DCC
2007
IEEE
16 years 8 days ago
2007
IEEE
Let p be a prime and let E(IFp) be an elliptic curve defined over the finite field IFp of p elements. For a given point G E(IFp) the linear congruential genarator on elliptic curv...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...