2214 search results - page 208 / 443 » Complexity of Reasoning |
105
click to vote
RSP
1999
IEEE
15 years 8 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
121
click to vote
UAI
2004
15 years 5 months ago
2004
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...
113
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
155
click to vote
CCIA
2010
Springer
14 years 10 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
148
click to vote
STOC
2009
ACM
15 years 10 months ago
2009
ACM
We propose a fully homomorphic encryption scheme – i.e., a scheme that allows one to evaluate circuits over encrypted data without being able to decrypt. Our solution comes in t...