73 search results - page 6 / 15 » Optimizing Conditional Logic Reasoning within CoLoSS |
104
click to vote
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
15 years 8 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...
104
Voted
VLSID
2007
IEEE
16 years 12 hour ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...
137
click to vote
DLOG
2011
14 years 3 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which deļ¬ne how queries are evaluated using logical entailment relations. We describe a sound a...
79
Voted
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
154
Voted
AI
2008
Springer
14 years 11 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...