1022 search results - page 85 / 205 » Stable models and circumscription |
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
SUM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
−−−− A comprehensive analytical study of high-frequency regenerative frequency dividers (RFD) is presented. The study includes two fundamental modes of operation in RFDs, n...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
: This paper presents a novel fully integrated MOS AC to DC charge pump with low power dissipation and stable output for RFID applications. To improve the input sensitivity, we rep...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
In this paper the potential of GP-generated symbolic regression for alleviating multicollinearity problems in multiple regression is presented with a case study in an industrial s...