9405 search results - page 353 / 1881 » Computing a Model of Set Theory |
279
Voted
MSR
2011
ACM
14 years 9 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
189
click to vote
TARK
2007
Springer
16 years 7 days ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
153
Voted
ER
2006
Springer
15 years 9 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
175
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In secure multi-party computation n parties jointly evaluate an n-variate function f in the presence of an adversary which can corrupt up till t parties. All honest parties are req...
154
Voted
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....