4074 search results - page 161 / 815 » Defining Computational Aesthetics |
109
click to vote
CORR
2008
Springer
14 years 11 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 ...
109
Voted
FORTE
2009
14 years 10 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...
192
Voted
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...
92
Voted
PERCOM
2005
ACM
16 years 9 days 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...
82
Voted
GLOBECOM
2008
IEEE
15 years 7 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)....