Sciweavers

2062 search results - page 261 / 413
» Derivatives of Logical Formulas
Sort
View
SMA
1997
ACM
123views Solid Modeling» more  SMA 1997»
15 years 10 months ago
On Multiple Interpretations
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...
JungHyun Han
ICCAD
1996
IEEE
86views Hardware» more  ICCAD 1996»
15 years 10 months ago
Polarized observability don't cares
A new method is presented to compute the exact observability don't cares (ODC) for multilevel combinational circuits. A new mathematical concept, called polarization, is intr...
Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van...
VLDB
1997
ACM
109views Database» more  VLDB 1997»
15 years 10 months ago
Effective Memory Use in a Media Server
A number of techniques have been developed for maximizing disk utilization in media servers, including disk arm scheduling and data placement ones. Instead, in this paper we focus...
Edward Y. Chang, Hector Garcia-Molina
ISCAS
1993
IEEE
105views Hardware» more  ISCAS 1993»
15 years 10 months ago
Maximally flat FIR filters
The existence of nonsymmetric generalized half-band lowpass and highpass FIR filters with maximally flat magnitude and group delay characteristics is proved. Like their linear-p...
Todor Cooklev, Akinori Nishihara
COCO
2006
Springer
97views Algorithms» more  COCO 2006»
15 years 9 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...