1795 search results - page 63 / 359 » On the Complexity of Circuit Satisfiability |
ISCAS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents the design consideration of high order digital AZ modulators used as modulus controller for fractional-N frequency synthesizer. A third-order MASH structure (M...
ICCAD
1996
IEEE
14 years 27 days ago
1996
IEEE
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
AAAI
2008
13 years 11 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
PODS
1998
ACM
14 years 29 days ago
1998
ACM
We study the complexity of the problem of answering queries using materialized views. This problem has attracted a lot of attention recently because of its relevance in data integ...