4074 search results - page 161 / 815 » Defining Computational Aesthetics |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
FORTE
2009
13 years 8 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Book
"An ASIC (pronounced “a-sick”; bold typeface defines a new term) is an application-specific integrated circuit —at least that is what the acronym stands for. Before we a...
PERCOM
2005
ACM
14 years 10 months ago
2005
ACM
This paper describes our ongoing work on a system that provides information about network resources and related communication facilities to applications running on a mobile device...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
-- The substitution box (S-Box) is one of the most important components in modern ciphers. This paper reports a new class of S-Boxes defined by the logarithmic functions in GF(16)....