2018 search results - page 122 / 404 » Code Normal Forms |
SAT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we consider the class of boolean formulas in Conjunctive Normal Form (CNF) where for each variable all but at most d occurrences are either positive or negative. This...
105
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Many recent works that study the impact of spatial correlation on the performance of multi-input multi-output (MIMO) systems assume a separable (also known as the Kronecker) model...
121
Voted
FOCI
2007
IEEE
15 years 8 months ago
2007
IEEE
— A learning machine is called singular if its Fisher information matrix is singular. Almost all learning machines used in information processing are singular, for example, layer...
153
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
112
click to vote
LATA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...