2196 search results - page 103 / 440 » Practical Reasoning Using Values |
105
click to vote
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
142
click to vote
EUROCRYPT
2000
Springer
15 years 6 months ago
2000
Springer
The cryptosystem recently proposed by Cramer and Shoup [CS98] is a practical public key cryptosystem that is secure against adaptive chosen ciphertext attack provided the Decision...
102
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Practical approaches for on-chip inductance extraction to obtain a sparse, stable and accurate inverse inductance matrix K are proposed. The novelty of our work is in using circui...
156
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
106
click to vote
AIIDE
2006
15 years 3 months ago
2006
Flight simulators are becoming more sophisticated and realistic, and the requirements of those using them are becoming more demanding. Air traffic control simulation for such simu...