551 search results - page 35 / 111 » Formalizing the Logic-Automaton Connection |
81
Voted
INTEGRATION
2002
15 years 8 days ago
2002
Booth Recoding is a commonly used technique to recode one of the operands in binary multiplication. In this way the implementation of a multipliers' adder tree can be improve...
98
Voted
IGPL
1998
15 years 8 days ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
129
Voted
PAMI
2007
15 years 3 days ago
2007
—In this paper, based on ideas from lossy data coding and compression, we present a simple but effective technique for segmenting multivariate mixed data that are drawn from a mi...
100
Voted
FSS
2010
14 years 11 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
94
Voted
JASIS
2010
14 years 11 months ago
2010
The United States Supreme Court case of 1991, Feist Publications, Inc. v. Rural Tel. Service Co., continues to be highly significant for property in data and databases but remains...