331 search results - page 45 / 67 » Quantified coalition logic |
JOC
2010
13 years 3 months ago
2010
Abstract. In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computati...
LOGCOM
2002
13 years 8 months ago
2002
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...
ICCAD
1995
IEEE
14 years 10 days ago
1995
IEEE
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
SWWS
2008
13 years 10 months ago
2008
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...